Personal tools
You are here: Home Members

The Members of SW Testing and Verification Group

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

mzkim4

Associate professor at CS Dept. KAIST

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

B.S. CS dept KAIST '95

moonzoo.kim at gmail.com

CS dept. #2434 (East Wing)

Phone:042-350-3543

 

*** PhD Students ***

Nakwon Lee (이낙원 李樂遠) 

 Ph.D Student co-advised with Prof. Jongmoon Baiknakwon_photo

 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

 

*** MS Students *** 

Ahcheong Lee (이아청 李我淸)

ahcheongM.S Student

B.S School of Computing, KAIST ‘19

dkcjd2000@kaist.ac.kr

CS dept. #2438

Phone: 042-350-7743

 

Yang Zidong (양재동 杨梓栋)

yangzidongM.S Student

B.S Wuhan University ‘19

cielyang@kaist.ac.kr

CS dept. #2438

Phone: 042-350-7743

 

Robert Sebastian Herlim

robert_herlimM.S Student

B.S Institut Teknologi Bandung ‘18

robert.herlim@kaist.ac.kr

CS dept. #2438

Phone: 042-350-7743

 

 

*** Researcher ***

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

null

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

 

*** Alumni ***

Kunwoo Park (박건우 朴乾雨)

Kunwoo ParkM.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 (2.5 years)

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)

E-mail:  yunho.kim03@gmail.com / Tel: 042-350-7743

 

 

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)

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 the Defense Ministry)

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 S-core)

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