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

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