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), Daejon, 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

Software engineering; formal methods and design by contract; software testing and verification; model-driven software engineering; generative AI for software engineering

I lead the Software Specification and Verification Lab.

•   Recent publications

Teaching

•   Current courses (Spring 2026)
   CS 3360 - Programming Language Concepts
  
•   Past courses
   CS 3331 - Advanced Object-Oriented Programming
   CS 4310 - Software Engineering I
   CS 4311 - Software Engineering II
   CS 4330/5390 - Mobile Application Development
   CS 4381/5381 - Topics in Software Engineering: Cross-Platform Mobile Application Development
   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