face_kimyunho_1.png

김윤호 (Kim, Yunho)

 

Concolic Testing Expert

한양대학교 컴퓨터소프트웨어학부 교수

E-mail: yunhokim@hanyang.ac.kr

Education

  • Ph.D., Computer Science KAIST, South Korea, Feb 2017 (Best Ph.D Thesis award)

  • B.S., Computer Science KAIST, South Korea, Feb 2007

Working experience

  • Sep 2020-Present: Assistant Professor, Department of Computer Science, Hanyang University

  • ​Mar 2018-Aug 2020: Research Assistant Professor, School of Computing, KAIST, South Korea

  • Feb 2017-Feb 2018: Postdoctoral Researcher, Software Testing and Verification(SWTV) group, KAIST, South Korea

Awards

  • IEEE Conference on Software Testing, Validation and Verification (ICST, 정보과학회 A급 학회), Distinguished paper award, 2018

  • Korea Software Congress (KSC), Distinguished best paper award, 2018

  • Korea Conference on Software Engineering (KCSE), Best paper award, 2018

face_yooshin_1.png

유신 (Yoo, Shin)

AI-based Software Testing Expert

KAIST 전산학부 교수

E-mail: shin.yoo@kaist.ac.kr

계산지능형 소프트웨어 공학 연구실 https://coinse.kaist.ac.kr

Education

  • Ph.D., Computer Science, Kings College London, UK, Sep 2009

  • BSc., Computer Science, Seoul National University, Republic of Korea, 2000

Working experience

  • ​Feb 2018-Present: Associate Professor, School of Computing, KAIST, South Korea

  • Aug 2015-Feb 2018: Assistant Professor, School of Computing, KAIST, South Korea

  • Oct 2012-Jul 2015: Lecturer, Department of Computer Science, University College London, UK

  • Aug 2010-Sep 2012: Research Associate, Department of Computer Science, University College London, UK

  • Oct 2009-Jul 2010: Research Associate, Department of Computer Science, Kings College London, UK

 

Awards 

  • Human Competitiveness Award (HUMIES Silver), 2017

  • IEEE Source Code Analysis and Manipulation, Best Paper Award, 2017

최윤자 (Choi, Yunja)

 

Model-based Software Testing Expert

경북대학교 컴퓨터학부 교수

E-mail: yuchoi76@knu.ac.kr

소프트웨어안전공학연구실 http://sselab.dothome.co.kr

Education

  • Ph.D., Computer Science at University of Minnesota, United States, Aug 2003

  • B.S., Mathematics at Yonsei University, Korea. (Minor: Computer Science), Feb 1991

Working experience

  • 2006.03-present: Professor, School of Computer Science and Engineering, KNU

  • 2003.09-2006.02: Research Scientist, Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany

  • 1997.10-2003.08: Research Assistant, Department of Computer Science, University of Minnesota, USA

  • 1993.02-1996.04: Software Engineer, Samsung Data Systems, Seoul, Korea

Awards

  • IEEE Software Best Software Engineering in Practice (ICSE SEIP) Paper Award, 2020

  • KCSE Best Paper Award, 2019

  • APSEC Best Paper Award, 2016

Advisory board