Seung Mo Cho

Senior Engineer in Samsung Electronics. Co. (2003.04 - )
Post-doc Researcher (2002.4 - 2003.3) in NTT Communication Science Laboratory, Japan
Ph.D.(2002) and MS(1996) degree in Software Engineering Lab., Computer Science Dept., KAIST, Korea.
BS(1994) degree in Computer Science Dept., KAIST, Korea.
Research Interests : Modeling and Simulation, Software Engineering, Formal Methods, and Testing
Publications

Stuff
- Writings (in Korean): Weblog , Math1/Cesia
- Translations: A guide to Lisp

Last updated: Mar. 26, 2004. email: cesian