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, South 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, South Korea

Research

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

I lead the Software Specification and Verification Lab.

•   Recent publications
•   Software download

Teaching

•   Current courses (Fall 2022)
   CS 3360 - Design and Implementation of Programming Languages
   CS 4330/5390 - Mobile Application Development
  

•   Past courses
   CS 3331 - Advanced Object-Oriented Programming
   CS 4310 - Software Engineering I
   CS 4311 - Software Engineering II
   CS 4381/5381 - Topics in Software Engineering: Mobile Game Programming
   CS 5381/4390 - Topics in Software Engineering: Introduction to Formal Methods
   CS 5382/4390 - Model-based Software Development
   CS 5383 - Topics in Software Assurance
  

Miscellany

•   Current schedule
•   Short CV