Experience

•   Assistant Professor, Department of Computer Science, The University of Texas at El Paso; September 2003-Present
•   Senior Researcher, Electronics and Telecommunications Research Institute (ETRI), Taejon, Korea; 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, and I am involved in several research projects.

•   Java Modeling Language (JML)  
•   UTJML Project
•   Milaap Project
•   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 2008)
   CS 3360 - Design and Implementation of Programming Languages
   CS 5381 - Topics in Software Design: Software Architecture

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

Miscellany

•   Current schedule
•   Short CV