Theory and Formal Methods Lab.

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

  • KANG Miyoung
  • Lee Hyuk

  • 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

  • Facebook Group
  • Yammer


  • ©all rights reserved