Jin-young Choi
Personal Information
- 04 ~ Present : Professor, Korea university, Seoul, Korea
- 99 ~ 04 : Associate Professor, Korea University, Seoul, Korea
- 96 ~ 99 : Assistant Professor, Korea University, Seoul, Korea
- 94 ~ 95 : Research Associate, University of Pennsylvania, Philadelphia, USA
- 94 ~ 95 : Computer Scientist (part-time),Computer Command and Control Company, Philadelphia,USA
- 86 ~ 93 : Dept. of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
- 84 ~ 86 : Dept. of Mathematics and Computer Science, Drexel University, Philadelphia, USA
- 78 ~ 82 : Dept. of Computer Engineering, Seoul National University, Seoul , Korea
Research Activities
- Computing Theory
- Computational Logic
- Real-Time Computing
- Formal Methods (Formal Specification, Formal Verification, Model Checking)
- Programming Language
- Process Algebras
- S/W Engineering
- Protocol Engineering
Contact
Email : <choi AT SPAMFREE formal DOT korea DOT ac DOT kr>
- Phone : +82-2-3290-3200
- Fax : +82-2-953-0771
- Lab : +82-2-929-8681
- Office : 201 A-San Science Building, Korea university