<tbody> <td width="80%" style="border: medium none;">

¾ÈÁؼ± ±³¼ö ȨÆäÀÌÁö
Joonseon Ahn</font>, Associate Professor

<A href="http://sslab.kau.ac.kr">½Ã½ºÅÛ¼ÒÇÁÆ®¿þ¾î¿¬±¸½Ç/System Software Laboratory </a>
<A href="http://www.kau.ac.kr/etc">School of Elec., Telecomm, and Comp. Eng.</A>, <A href="http://www.kau.ac.kr/">Korea Aerospace University.</A> </td>

    <td width="100%" style="border: medium none;">  </td>

</tbody> </table>

---

<a href="#Vitae">Vitae</a> | <a href="#Research">Research</a> | <a href="#Project">Project</a> | <a href="#Courses">Teaching</a> | <a href="CV_JoonseonAhn.pdf">CV</a> |

---

<a name="Vitae">

<img width = 130, src="jsahn_pic.jpg"> </H2>

Vitae   <img src="gu_3.gif">

</a>

• Aug,2001~current, Associate Professor, <A href="http://www.kau.ac.kr/">Korea Aerospace University</A></A>,
• Aug,2000~Aug,2001, Postdoctoral Researcher, <A href="http://ropas.kaist.ac.kr/">ROPAS</A>, <A href="http://www.kaist.ac.kr/">KAIST</A>
• Aug,2000, Phd. <A href="http://cs.kaist.ac.kr/">Computer Science</A>, <A href="http://www.kaist.ac.kr/">KAIST</A>
• Feb,1994, MS. <A href="http://cs.kaist.ac.kr/">Computer Science</A>, <A href="http://www.kaist.ac.kr/">KAIST</A>
• Feb,1992, BS. <A href="http://cse.snu.ac.kr/"> Computer Science & Statistics</A>, <A href="http://www.snu.ac.kr/">SNU</A>

---

<a name="Research">

Research Interests   <img src="com.gif">

</a>

<A href="/jsahn/prosec.html" >
• Software Security / ÇÁ·Î±×·¥ º¸¾È </A>
  <A href="/jsahn/fpar.html" >
• Program Analysis based on Abstract Interpretation / ¿ä¾à Çؼ®À» »ç¿ëÇÑ ÇÁ·Î±×·¥ ºÐ¼® </A>
  <A href="/jsahn/par.html" >
• Parallelizing Compilers based on Loop Parallelization / ¹Ýº¹¹®ÀÇ º´·ÄÈ­ ÄÄÆÄÀÏ·¯ </A>
  <A href="/jsahn/un.html" ></A>
• Extracting Data Parallelism from Functional Programs / ÇÔ¼öÇü ÇÁ·Î±×·¥ÀÇ º´·Ä ¼öÇà </A>
  <A href="/jsahn/fun.html" >
• Implementation of Lazy Functional Languages / Áö¿¬ °è»êÀ» »ç¿ëÇÏ´Â ÇÔ¼öÇü ¾ð¾î ±¸Çö </A>
  
• <A href="un.html"></A> Formal Approach to Design and Analysis of Security Protocols
• <A href="un.html"></A> Embedded System

<A href="/reserch/publications/pub.html">

List of Publications </LI>

</A>

---

<a name="Project">

Project Grants   <img src="com.gif">

<A href="/projects/current/current.html#websec" >
• Vulnerablility Analysis for Web-based Software / À¥ ±â¹Ý¼ÒÇÁÆ®¿þ¾î º¸¾È Ãë¾à¼º ºÐ¼®</A>
  <A href="/projects/current/current.html#ubi">
• Programming Environment for Ubiquitous Computing / À¯ºñÄõÅͽº ÇÁ·Î±×·¡¹Ö ȯ°æ </A>
  <A href="/projects/recent/recent.html" >
• Web Application Program Security / À¥ ÇÁ·Î±×·¥ ³»ÀÇ º¸¾È Ãë¾à¼º °Ë»ç </A>
  <A href="/projects/current/current.html#info" >
• Information Retrieval / Á¤º¸ °Ë»ö
  

---

 </UL>

---

<ADDRESS> Joonseon Ahn,
<A href="http://www.kau.ac.kr/etc">School of Electronics, Telecommunications and Computer Science </A>
<A href="http://www.kau.ac.kr/">Korea Aerospace University</A>,
200-1, Hwajundong, Koyang, Kyungkido, 412-791, <a href="http://www.knto.or.kr">Korea</a>
+82.2.300.0144 +82.2.3159.9257 (fax)
<a href="mailto:jsahn@kau.ac.kr">jsahn@kau.ac.kr</a>
</ADDRESS> </DIV> </table> </div>