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