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)

Teaching

•   Current courses (Spring 2013)
   CS 4311 - Software Engineering II
   CS 4390 - ST: Mobile Application Development

•   Past courses
   CS 3331 - Advanced Object-Oriented Programming
   CS 3360 - Design and Implementation of Programming Languages
   CS 4310 - Software Engineering I
   CS 4311 - Software Engineering II
   CS 4390 - Special Topics: Developing Reliable Mobile Applications
   CS 5381 - Topics in Software Design: Software Architecture
   CS 5382 - Topics in Software Development
   CS 5383 - Topics in Software Assurance
  

Miscellany

•   Current schedule
•   Short CV