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