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

 

*** Researcher ***

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

null

Postdoc Researcher [ 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

 

*** MS Students ***

 Hyunwoo Kim (김현우 金鉉雨)

hyunwoo2M.S Student

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

hyunooudy at gmail.com

CS dept. #2438

Phone: 042-350-7743 

 

Woong-Gyu Yang (양웅규 梁雄圭)

WoongHyuM.S Student

B.S School of Computing, KAIST ‘16

diddndrb12 at kaist.ac.kr

CS dept. #2438

Phone: 042-350-7743

 

Hyunsu Lim (임현수 林炫秀)

hslimM.S Student

B.S School of Computing, KAIST ‘17

bookman01 at kaist.ac.kr

CS dept. #2438

Phone: 042-350-7743

 

*** Alumni ***

Taejin Kim (김태진 金泰蓁)

TaeJin KimM.S Student: Graduated in Aug 2016 (now at Kakao)

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

taejin at kaist.ac.kr

CS dept. #2438

 

 

Taehoon Kwak (곽태훈 郭太勳)

Taehoon KwakM.S Student: Graduated in Feb 2016

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

thkwak@kaist.ac.kr

CS dept. #2438

 

 

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)

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