Professors

kmbae

Kyungmin Bae
  • Office: B2-225,
  • Phone: +82-54-279-2256,
  • email: kmbae at postech.ac.kr

Students

jslee

Jaeseo Lee

  • Office: B2-103,
  • Phone: +82-54-279-2907,
  • email: sean96 at postech.ac.kr

jalee

Jia Lee

  • Office: B2-103,
  • Phone: +82-54-279-2907,
  • email: cee5539 at postech.ac.kr
ksron

Sharon Kim

  • Office: B2-103,
  • Phone: +82-54-279-2907,
  • email: ksron at postech.ac.kr


We are looking for motivated students at all levels (graduate or undergraduate) who are interested in software analysis/verification/engineering. If you are interested in, please contact Prof. Kyungmin Bae (kmbae at postech.ac.kr).