The Members of SW Testing and Verification Group
Prof. Moonzoo Kim (김문주 金文柱) (link)
Associate professor at School of Computing, KAIST
Ph.D CIS Dept. Univ. of Penn. '01
B.S. CS dept KAIST '95
E3-1 School of Computing RM#2434 (East Wing)
Phone:042-350-3543
*** PhD Students ***
Ahcheong Lee (이아청 李我淸)
Ph.D Student
M.S School of Computing, KAIST '21
B.S School of Computing, KAIST '19
ahcheong.lee@kaist.ac.kr
CS dept. #2438
*** MS Students ***
Youngseok Choi (최영석 崔榮晳)
M.S Student
B.S School of Computing, KAIST '23
youngseok.choi@kaist.ac.kr
CS dept. #2438
Heechan Yang (양희찬 梁熙讚)
M.S Student
B.S Computer Science, Handong Global University '23
heechan.yang@kaist.ac.kr
CS dept. #2438
Yeongbin Kang (강영빈 康永彬)
M.S Student
B.S Computer Science and Engineering, Chung-ang University '23
yeongbin.kang@kaist.ac.kr
CS dept. #2438
*** Alumni ***
Irfan Ariq
M.S School of Computing, KAIST '23
B.S Institut Teknologi Bandung ‘19
irfanariq@kaist.ac.kr
Nakwon Lee (이낙원 李樂遠)
Ph.D co-advised with Prof. Jongmoon Baik, KAIST '22 (now at Samsung Electronics DS)
M.S Computer Science Dept., KAIST '15
B.S Computer Science and Engineering, Konkuk Univ. '13
E-mail: skrdnjs@kaist.ac.kr
Zidong Yang (양재동 杨梓栋)
M.S KAIST, '22 (now at Nvidia Shanghai, China)
B.S Wuhan University ‘19
cielyang@kaist.ac.kr
Robert Sebastian Herlim
M.S KAIST, '22 (now at ASM Korea)
B.S Institut Teknologi Bandung ‘18
robertsebastianherlim@gmail.com
Kunwoo Park (박건우 朴乾雨)
M.S Student: Graduated in Feb 2020 (Now at TMAX)
B.S Computer Science, Yonsei University ‘18
kunwoo1209@kaist.ac.kr
Loc Duy Phan
M.S Student: Graduated in Feb 2020 (Now at LG CTO)
B.S School of Computing, KAIST ‘18
duyloc_1503@kaist.ac.kr
Hyunsu Lim (임현수 林炫秀)
M.S Student: Graduated in Feb 2019
B.S School of Computing, KAIST ‘17
hyunsu.lim01@gmail.com
Hyunwoo Kim (김현우 金鉉雨)
M.S Student: Graduated in Aug 2018
B.S Computer Science and Engineering, Sogang University ‘16
hyunooudy at gmail.com
Yunho Kim (김윤호 金潤浩) (link)
Ph.D : Graduated in Feb 2017 (Best Ph.D Thesis award) (now at Hanyang Univ. as an assistant professor)
Taejin Kim (김태진 金泰蓁)
M.S Student: Graduated in Aug 2016
B.S Computer Science and Engineering, Chung-Ang University ‘14
taejin at kaist.ac.kr
Taehoon Kwak (곽태훈 郭太勳)
M.S Student: Graduated in Feb 2016
B.S Computer Science dept, Chungnam National University '14
thkwak@kaist.ac.kr
Shin Hong (홍신 洪申)
Ph.D (Aug 2015) and M.S (Feb 2011); now at Handong University as an assistant professor
Yongbae Park (박용배 朴容培)
M.S Student: Graduated in Feb 2015 (Best KAIST CS MS thesis award) (now at the Defense Ministry Research Institute)
B.S. CS Dept. KAIST '13
Seokhyeon Mun (문석현 文晳鉉)
M.S Student: Graduated in Feb 2014 (Best KAIST CS MS thesis award) (now at Samsung SDS)
B.S. Computer Engineering dept, Kyungpook National University '12
Jaemin Ahn (안재민 安宰民)
M.S Student: Graduated in Aug 2013 (교과석사) (now at ADD)
B.S. CS Dept. KAIST '11
Young Joo Kim (김영주 金映周)
M.S Student: Graduated in Feb 2013 (Distinguished best KAIST CS MS thesis award) (now at Amazon)
B.S. Mathematics dept Ewha Womans University '11
*** Visited Researchers ***
Dr. Matt Staats
Post-doctoral Researcher (Now at Google, Zurich)
Ph.D, CSE Dept. Univ. of Minnesota-Twin Cities 2011
BS, CS Dept. Univ. of Missouri-Rolla 2006
Dr.Young-Joo Moon (문영주 文英珠)
Research assistant professor at CS Dept. KAIST (Now at Samsung Electronics DS)
Ph.D CWI and Leiden University. '11
M.S. CS dept Korea University '06
B.S. CS dept Korea University '04
Prof. Gregg Rothermel
Visiting professor at CS Dept. KAIST (2010-2011)
Univ. of Nebraska, Lincoln, USA
