FrontPage FindPage TitleIndex RecentChanges UserPreferences E D R S I H C
 
My Resume
Categorynations › UserPreferences › NewPage › WikiWyg/2009-11-26 › CalendarMacro/2009-11-24 › MyResume
[edit]

Ahn, Ki Yung

IMG_2457_small.JPG
1630 SW Clay Apt 1C
Portland, OR 97201-6045
USA

+1 503 327 6907

kyagrd@gmail.com


[edit]

Interests

Cache Coherence, Generic Programming, Meta Programming, Staged Computation, Functional Programming, Type System, Logic, Philosophy of Mathematics.
[edit]

Vitae

[edit]

Honors & Awards

  • 2005: International Student Scholarship, PSU
  • 1998-2001: Bachelors Degree Scholarship and Accademic Excellence Scholarship, KAIST.
  • 1998: Ancestor's Virtue Scholarship, Ahn of Sun-heung Family Council.
  • 1997: Award of Excelence (physics branch), Seoul metropolitan high school Science and Mathematics Contest, Seoul Metropolitan Office of Education.
  • 1995: Silver Award (physics branch), National junior-high school Science and Mathematics Contest, Ministry of Education.
  • 1995: Bronze Award (physics branch), Seoul metropolitan junior-high school Science and Mathematics Contest, Seoul Metropolitan Office of Education.
  • 1991: Golden Award, Seoul metropolitan elementary school English Listening Contest, Seoul Metropolitan Office of Education.
[edit]

Certificates

  • 2002: Driver's License General Class 1, Road Traffic Safety Authority (Korea).
  • 2001: National Technical Qualification Certificate of Information Processing Engineer, Human Resources Development Service of Korea.
  • 1990: 1st Poom of Taekwondo, Kukkiwon.


[edit]

Skills

  • Natural Langauges : Korean, English.
  • Programming Langauges : C, C++, php, Haskell, ML, Scheme, Prolog, XML.
  • Computer Tools : LaTeX, Maple, gnuplot, graphviz, moniwiki, vim, CVS, GNU Autotools, Linux, FreeBSD, Microsoft Windows.


[edit]

Activities

[edit]

Research

  • 2002: PartyMoveNPC - Game Script for Party Movement of Non-Player Characters, [http]GRETECH

  • 2001-2002: [http]Conservative Extension of Let-polymorphism over Side-effect, [http]ROPAS.
    (This is currently stopped because my idea turned out to be a rediscovery the following paper, which was more complete and formalized using effect system. Andrew K. Wright, Typing References by Effect Inference, Proceedings of the European Symposium on Programming, February 1992.)

  • 2001: [http]NOpenGL - [http]OpenGL API for [http]nML, [http]ROPAS.

    • [edit]

    Teaching

  • 2006-2007: Teaching Assistant (Discrete Math, Visual Basic), PSU
  • 2005-current: Youth Group adult leader, First Presbyterian Church at Portland
  • 2004-2005: Sunday School Teacher (4th grade), [http]MyungSung Presbyterian Church.
  • 2003: Grader of Programming Language course in [http]SNU.
  • 2001: Voluntary Teaching Assistant, [http]SilverNet education program at KAIST.
    (Silvernet is a civil movement mainly hosted by universities providing free education for senior citizens' computer and Internet utilization.)
  • 1999: Class Director, C++ Open Seminar for KAIST students, HAJE.

    • [edit]

    Software Projects

  • 2004-current: ESMTL(Enum String Matching Template Libary) - simple libarary using advanced C++ to match enum and string.
  • 2004-current: BDB++ - C++ Standard Library style API for [http]Berkeley DB.
  • 2003: [http]Smart Word - mnemonic system for vocabularies in Word Smart book. (powerd by Haskell Combinators for XHTML).
  • 2002: [http]Xhtml1 - Haskell Combinators for XHTML.
  • 1999-2000: [http]WinEXAM(CHI) - mnemonic system for Chinese character word pronunciation, HAJE.
    (de-facto standard exam preparation tool for KAIST freshmen writing course during 1999~2003.)
    • [edit]

    Commercial Projects

  • 2005: File Bank(http://www.filebank.co.jp/) - Internet storage service in Japan, GRETECH Japan.

  • 2004-2005: Biz Folder - Groupware storage solution focusing on scheduled backup, GRETECH.
    (Featured Customers: [http]Dongdaemun-gu District Office, [http]Taiyung Shipping Co. Ltd..)

  • 2003-2005: [http]HakoBako - Internet storage service in Japan, GRETECH.

  • 2004: [http]IPOP Safe - Internet stoarage service of reliable repository and scheduled backup, GRETECH.

  • 2002-2003: OEM Folder - OEM Internet storage services, GRETECH.
    (Customers: [http]FREECHAL, [http]HanaFOS.com, [http]SUPERBOARD, [http]Korea.com, [http] NAVER.)

  • 2002-2004: [http]POP Folder - Internet storage service of ultra-high speed and capacity, GRETECH.
    (POP Folder generated more than $8 million annual revenue in 2002, 2003.)

    • [edit]

    Other Extra Curricular Activities

  • 2008: President of the Korean Engineering Student Association at PSU
  • 2007: Program Assistant for guiding and interpreting for Hanbat University visiting students, PSU
  • 2007: 2nd Newsletter Editor of the Korean Engineering Student Association at PSU
  • 2005: Short term mission trip to cambodia from 2005-06-27 to 2005-07-09.
  • 2001: the resistance against oppressive drinking custom and the illumination on smoking in prohibited areas.
  • 1999-2002: [http]HAJE - the Club of Computer Game Programming in KAIST.
  • 1998-2002: [http]Student For Christ - mission group based on reformed theology.
  • 1995-1997: International Physics Olympiad Summer/Winter School, [http]the Korean Physical Society.
    • last modified 2009-10-02 00:13:49
    EditTextFindPageDeletePageLikePagesUploadedFiles