Experience

•   Associate Professor, Department of Computer Science, The University of Texas at El Paso; September 2009-Present
•   Assistant Professor, Department of Computer Science, The University of Texas at El Paso; September 2003-August 2009
•   Senior Researcher, Electronics and Telecommunications Research Institute (ETRI), Taejon, Korea; January 1995-May 2003

Education

•   Ph.D. 2003, Department of Computer Science, Iowa State University, Ames, Iowa
•   M.S. 1991, Department of Computer Science, Iowa State University, Ames, Iowa
•   B.S. 1989, Department of Computer Science, Korea University, Seoul, Korea

Research

Formal methods (languages, techniques, and tool support) and programming (languages, semantics, and methodology)

I lead the Software Specification and Verification Lab of the Software Engineering Research Group.

•   Recent publications
•   Software downloads
•   List of CFPs (locally maintained)
•   Potential research topics and projects for students (available only for the utep.edu domain)

Teaching

•   Current courses (Spring 2010)
   CS 5382 - Topics in Software Development
   CS 3360 - Design and Implementation of Programming Languages

•   Past courses
   CS 3331 - Advanced Object-Oriented Programming (F09, F08, F07, F06, F04, S04, F03)
   CS 3360 - Design and Implementation of Programming Languages (F09, S09, F08, S08, F07, S07, F06, S06, F05, S05)
   CS 4310 - Software Engineering I (F04)
   CS 4311 - Software Engineering II (S05, S04)
   CS 5381 - Topics in Software Design: Software Architecture (S08)
   CS 5382 - Topics in Software Development (F05, S09)
   CS 5383 - Topics in Software Assurance (S07, S06)
  

Miscellany

•   Current schedule
•   Short CV