<!DOCTYPE HTML PUBLIC "-//W4C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD><TITLE>Joonseon Ahn</TITLE> <META http-equiv=Content-Type content="text/html; charset=ks_c_5601-1987"><LINK media=all href="jsahn.css" type=text/css rel=Stylesheet> <META content="MSHTML 6.00.2900.2802" name=GENERATOR></HEAD>
<style type="text/css">
a:link { font-family: "±¼¸²", "±¼¸²Ã¼"; font-size: 11pt; color: #2f4F4F; text-decoration: none} a:visited { font-family: "±¼¸²", "±¼¸²Ã¼"; font-size: 11pt; color: #2f4f4f; text-decoration: none} a:active { font-family: "±¼¸²", "±¼¸²Ã¼"; font-size: 11pt; color: #0099CC; text-decoration: underline} a:hover { font-family: "±¼¸²", "±¼¸²Ã¼"; font-size: 11pt; color: 038CC0; text-decoration: underline}
.txt { font-family: "±¼¸²", "±¼¸²Ã¼"; font-size: 11pt; color: #333333; line-height: 15pt} .text1{ font-family: "±¼¸²"; font-size: 11pt; color: #666666; line-height: 14px} .text2 { font-family: "±¼¸²"; font-size: 11pt; color: #333333; padding-left: 5pt} BODY, TEXTAREA,TABLE, TR, TD, INPUT{font-size:11pt; font-family:±¼¸²;} a:link,a:visited {color: #000060} a.com:hover {color: #B47F0C; text-decoration: underline}
</style>
<body>
<img width = 130, src="jsahn_pic.jpg"> </H2> |
<td width="80%" style="border: medium none;">
목차 |
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>
</BODY></HTML>
