Personal tools
You are here: Home Members

The Members of SW Testing and Verification Group

Prof. Moonzoo Kim (김문주 金文) (link)

mzkim4

Associate professor at School of Computing, KAIST

Ph.D CIS Dept. Univ. of Penn. '01

B.S. CS dept KAIST '95

moonzoo.kim at gmail.com

E3-1 School of Computing RM#2434 (East Wing)

Phone:042-350-3543

 

*** PhD Students ***

Ahcheong Lee (이아청 李)

ahcheongPh.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

Irfan

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)nakwon_photo

M.S Computer Science Dept., KAIST '15

B.S Computer Science and Engineering, Konkuk Univ. '13

E-mail: skrdnjs@kaist.ac.kr

 

 

Zidong Yang (양재동 杨梓栋)

yangzidongM.S KAIST, '22 (now at Nvidia Shanghai, China)

B.S Wuhan University ‘19

cielyang@kaist.ac.kr

 

 

Robert Sebastian Herlim

robert_herlimM.S KAIST, '22 (now at ASM Korea)

B.S Institut Teknologi Bandung ‘18

robertsebastianherlim@gmail.com

 

 

Kunwoo Park (박건우 朴乾雨)

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

Phan Duy LocM.S Student: Graduated in Feb 2020 (Now at LG CTO)

B.S School of Computing, KAIST ‘18

duyloc_1503@kaist.ac.kr

 


 

Hyunsu Lim (임현수 林炫秀)

hslim

M.S Student: Graduated in Feb 2019

B.S School of Computing, KAIST ‘17
hyunsu.lim01@gmail.com

 

 

Hyunwoo Kim (김현우 金鉉雨)

hyunwoo2M.S Student: Graduated in Aug 2018

B.S Computer Science and Engineering, Sogang University ‘16

hyunooudy at gmail.com

 

 

Yunho Kim (김윤호 金潤浩) (link)

null

Ph.D : Graduated in Feb  2017 (Best Ph.D Thesis award) (now at Hanyang Univ. as an assistant professor)

E-mail:  yunho.kim03@gmail.com

 

 

 

Taejin Kim (김태진 金泰蓁)

TaeJin KimM.S Student: Graduated in Aug 2016

B.S Computer Science and Engineering, Chung-Ang University ‘14

taejin at kaist.ac.kr

 

 

 

Taehoon Kwak (곽태훈 郭太勳)

Taehoon KwakM.S Student: Graduated in Feb 2016

B.S Computer Science dept, Chungnam National University '14

thkwak@kaist.ac.kr

 

 

 

Shin Hong (홍신 洪申)

shin

Ph.D (Aug 2015) and M.S (Feb 2011); now at Handong University as an assistant professor

hongshin@kaist.ac.kr

 

 

 

 

Yongbae Park (박용배 朴容培)

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

yongbae2 at gmail.com

 

 

 

Seokhyeon Mun (문석현 文晳鉉)

nullM.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

seokhyeon.mun at gmail.com

 

 

 

Jaemin Ahn (안재민 安宰民)

nullM.S Student: Graduated in Aug 2013 (교과석사) (now at ADD)

B.S. CS Dept. KAIST '11

j.ahn120 _at_ gmail.com

 

 

 

Young Joo Kim (김영주 金映周)

YoungJooPhotoM.S Student: Graduated in Feb 2013 (Distinguished best KAIST CS MS thesis award) (now at Amazon)

B.S. Mathematics dept Ewha Womans University '11

jerry88@kaist.ac.kr

 

 

 

*** Visited Researchers ***


Dr. Matt Staats

matt

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

staatsm at gmail.com

 

Dr.Young-Joo Moon (문영주 文英珠)

yjmoon

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

gregg

Visiting professor at CS Dept. KAIST (2010-2011)

Univ. of Nebraska, Lincoln, USA

Document Actions