Experience
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.
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
Last modified by
Yoonsik Cheon:
$Id: index.html,v 1.64 2008/02/02 17:05:46 cheon Exp $