Post-doc


ihkim

Ikhwan Kim [cv_ihkim]

Ikhwan Kim received a B.S, an M.S, and Ph.D degrees in the Department of Mechanical and Information Engineering from University of Seoul, Korea, in 2008, 2011, and 2017, respectively. He is a first Ph.D student in RTES and is currently with the RTES lab as a Postdoc researcher. His current research interests focus on cyber physical systems (CPS), real-time systems, industrial automation, and formal verification.

e-mail) duo821228_at_gmail_dot_com or ihkim_at_uos_dot_ac_dot_kr

Master students


Kyunghyun Lee

Kyunghyun Lee received a B.S degree from the Department of Mechanical and Information Engineering, University of Seoul, in 2016. His current research interests focus on real-time systems, industrial automation, and formal verification.

e-mail: alexeibatic_at_gmail_dot_com

Taeha Kim

Taeha Kim received a B.S degree from the Department of Mechanical and Information Engineering, University of Seoul, in 2017.

e-mail: taeha.kim4315_at_gmail_dot_com

Undergraduate students


Hyunwoo Kim

Jiwoo Lee

Yeonhee Park