Advancing Reliability, Safety & Security of Software

We study the phenomena and the principles of computing and software developments to find better ways of constructing reliable, secure, and safe software. We aim to enhancing techniques, tools and methodologies for automating software debugging, testing and analysis .


Shin Hong 홍신

Assistant Professor, CSEE in Handong Global University

Ph.D in Computer Science, KAIST 2015,

313 Oseok Hall, +82-54-260-1409

Hansol Choe 최한솔

Master's degree program (started inMar 2018)

318 Oseok Hall

Jeewoong Kim 김지웅

Master's degree program (started in Sep 2018)

318 Oseok Hall

Juyoung Jeon 전주영

Master's degree program (started in Mar 2019)

318 Oseok Hall

Hyerin Leem 임혜린

Integrated Bachelor's -Master's degree program (started at Sep 2019)

318 Oseok Hall

On-going Projects

Automated Method of Assessing Test Artifacts Quality (in direction of COINSE, KAIST), Samsung Research, 2019

Developing Automated Software Test Generation Techniques Using Data-driven Analyses, Young Researcher Program Funded by NRF, 2017-2019

Intelligent Automation Techniques for Fullstack Software Debugging, Next-Generation Information Computing Development Program Funded by NRF, 2017-2020

More ...