100_2194.jpg

Myung Hwan Park

Address
University of Minnesota - Twin Cities
Department of Computer Science and Engineering
 
4-192 EE/CS Building
200 Union Street SE, Minneapolis, MN, 55455


office:
6-216 EE/CS Building
phone: (612)
227-0542
email: pigisum(at)cs(dot)umn(dot)edu
homepage:
http://www.cs.umn.edu/~pigisum

 

 

 

Research Interests: Formal Methods and Software Testing

 

Education

Ph.D., Computer Science (2005 - Present)
Department of Computer Science and Engineering, University of Minnesota - Twin Cities

M.S., Computer Science (2000)

Department of Computer Science, Korea University, South Korea

 

B.S., Computer Science (1994)

Department of Computer Science, Korea Air Force Academy, South Korea

Publications

Conference

1.       Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang. Equivalence Checking of Two Statechart Specifications. In IEEE International Workshop on Rapid System Prototyping 2000: 46-51