Professor
 | | | |
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 formal DOT korea DOT ac DOT kr
Phone : +82-2-3290-3200
Fax : +82-2-929-8681
Lab : +82-2-3290-3575
Office : 307 Automated high-rise building construction research, Korea university
| | | | |
Postdoctoral
Students
| | | |
PhD Students
AHN Young Ah
HWANG Dae Yon
JANG Min Kyung
JANG Sang Chul
JANG Young Su
JUNG Do Gun
KIM Dong Won
KIM Taek Yu
KIM Young Mi
LEE Jin Ho
LEE Jung Jae
LEE Kang Won
LEE Myung Sun
OH Jung Hyun
PARK Seung Hyun
PARK Yun Kyeong
SEO Suk
SHIN Jee Hoon
SIM Jaeh Wan
SON Eun Kyoung
KIM Hyun jo
KIM Yun hui
Han Yoon
JEONG Yeon Oh
Master Students
PARK Jin Woo
LEE YONG JUN
Huh Seung Won
KANG Da Young
Choi Hong Jun
| | | | |
Alumni
| | | |
PhD
AHN Young Jung
BANG Ki Seok
HAN Keun Hee
KANG Mi Young
KIM Hyun Seok
KIM Il Gon
KIM Jin Hyun
LEE Song Hee
MIN Hyun Seok
PARK Jun Kil
RYU Gab Sang
SHIN Young Nyuo
YOO Dong Young
YOO Hee Jun
LEE Jee Yean
AHN So Jin
CHA Ree Seo
Lee Hyuk
Master
HAN Ji Hye
HAN Young Hun
HWANG Hye Jung
JANG Sung Ho
JEON Chul Wuk
JEON Jun kyu
JEONG Kum Taek
JEONG Yeon Oh
JUNG Chol Hee
JUNG Dah Ye
KANG Eun Young
KANG Min Jung
KIM Beom Jin
KIM Chang Jin
KIM Eung Nam
KIM Han Sang
KIM Hye Rin
KIM Hyun Su
KIM Joo Bae
KIM Ki Joong
KIM Min Sook
KIM Sung Jae
KIM Young Jin
LEE Eun Jung
Lee Joo Yong
LEE Kee Heun
LEE Sun Young
LEE Su Young
LIM Sung Mook
MIN So Ra
MOON Young Joo
NAM Ki Hyuk
NAM Myung Jin
Nam Won Hong
NOH Jung Hyun
Oh Joon Seok
PARK Chan kook
PARK Mi Jeong
PARK Myung Hwan
RYU Kwang Yuel
RYU Sang Seon
SHIN Hee Jung
Shin Jae Yong
SONG Gwan Ho
SUNG Chang Hun
UM Hyun Sun
YANG Jin Seok
Lee Sung Rak
JOO Hyung Jin
CHOI Seok Won
KOO Keun Hoi
PARK Yong Koo
JEONG Sung Gwon
CHO Beom Yeon
JANG Joon Ha
KIM Tae Wook
Cho Hoon Hee
| | | | |
|
SNS
|
