Current project : Design and implementation of HW/SW co-design/verification tool

Research trip : POPL97, SRV02, VMCAI04, POPL04, VMCAI05, ALPIT05, APLAS05

Reviewer : FLOPS02, APLAS03, APLAS04, ESOP04, PLDI06, CC06

Member of KPRG, KIISE, KIPS

Programming experience

Language: OCaml/SML/nML/Scheme/Haskell, Java, C/VC++, VB/VBScript/Javascript, Esterel, SQL/ESQL, XML, SAP/ABAP4 ...

Environment: MFC, EJB/DCOM, Servlet/JSP, Motif/Xt/Xlib, JVM/dotNet, Eclipse, SOAP, ODBC/Tuxido, ...