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.
Teaching
- Current courses (Spring 2010)
CS 5382 - Topics
in Software Development
CS 3360 -
Design and
Implementation of Programming Languages
- Past courses
CS 3331 -
Advanced
Object-Oriented Programming
(F09, F08, F07, F06, F04, S04, F03)
CS 3360 -
Design and
Implementation of Programming Languages
(F09, S09, F08, S08, F07, S07, F06, S06, F05, S05)
CS 4310 - Software Engineering I (F04)
CS 4311 - Software Engineering II (S05, S04)
CS 5381 -
Topics
in Software Design: Software Architecture (S08)
CS 5382 -
Topics
in Software Development (F05, S09)
CS 5383 -
Topics
in Software Assurance (S07, S06)
Miscellany
Last modified by
Yoonsik Cheon:
$Id: index.html,v 1.76 2010/01/12 05:21:23 cheon Exp $