The Members of SW Testing and Verification Group
Prof. Moonzoo Kim (김문주 金文柱) (link)
Associate professor at CS Dept. KAIST
Ph.D CIS Dept. Univ. of Penn. '01
B.S. CS dept KAIST '95
CS dept. #2434 (East Wing)
Phone:042-350-3543
*** Researcher ***
Yunho Kim (김윤호 金潤浩) (link)
Research Assistant Professor [ My publications ]
Ph.D (2017.02), B.S (2007.02) in Computer Science at KAIST
2438 Computer Science Building (E3), KAIST,
291 Daehak-ro, Yuseong-gu, Deajeon, South Korea
E-mail: yunho.kim03@gmail.com / Tel: 042-350-7743
Joonwang Ji (지준왕 智俊王)
Part-time Programmer
BS Computer & Telecommunications Engineering Division, Yonsei Univ (Wonju campus), 2010
CS dept. #2438
E-mail: bthej2w@gmail.com
Tel: 042-350-7743
*** PhD Students ***
Nakwon Lee (이낙원 李樂遠)
Ph.D Student co-advised with Prof. Jongmoon Baik
M.S Computer Science Dept., KAIST '15
B.S Computer Science and Engineering, Konkuk Univ. '13
IT Convergence (N1) #525
E-mail: skrdnjs@kaist.ac.kr
Phone: 042-350-7756
Bongseok Ko (고봉석 高峰奭)
Ph.D Student (휴학)
MS School of Electrical Engineering and Computer Science, GIST '17
CS dept. #2438
E-mail: bsko5006@gmail.com
Phone: 042-350-7743
*** MS Students ***
Kunwoo Park (박건우 朴乾雨)
M.S Student
B.S Computer Science, Yonsei University ‘18
kunwoo1209@kaist.ac.kr
CS dept. #2438
Phone: 042-350-7743
Loc Duy Phan
M.S Student
B.S School of Computing, KAIST ‘18
duyloc_1503@kaist.ac.kr
CS dept. #2438
Phone: 042-350-7743
Jin Sol Kim (김진솔)
M.S Student
B.S George W. Woodruff School of Mechanical Engineering, Georgia Institute of Technology ‘18
steve-kim@kaist.ac.kr
CS dept. #2438
Phone: 042-350-7743
*** Alumni ***
Hyunsu Lim (임현수 林炫秀)
M.S Student
B.S School of Computing, KAIST ‘17
hyunsu.lim01@gmail.com
CS dept. #2438
Phone: 042-350-7743
Hyunwoo Kim (김현우 金鉉雨)
M.S Student: Graduated in Aug 2018 (2.5 years)
B.S Computer Science and Engineering, Sogang University ‘16
hyunooudy at gmail.com
CS dept. #2438
Phone: 042-350-7743
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)
B.S. CS Dept. KAIST '13
Seokhyeon Mun (문석현 文晳鉉)
M.S Student: Graduated in Feb 2014 (Best KAIST CS MS thesis award) (now at the Defense Ministry)
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 S-core)
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
