Ph.D. Students


Misun Yu
Part-time Student

  • Research Interests
    • Concurrent Software Analysis

Young-Min Baek
ymbaek@se.kaist.ac.kr

  • Research Interests
    • Graphical User Interface(GUI) Testing
    • Model-based Testing

Jiyoung Song
jysong@se.kaist.ac.kr

  • Research Interests
    • Software Testing on Safety Critical Systems
    • System of Systems

Hyunkyu Shin
Part-time Student

  • Research Interests
    • Formal Modeling and Verification
    • System-of-Systems Engineering

Zelalem Mihret
zelalem@se.kaist.ac.kr

  • Research Interests
    • Formal Modeling and Verification
    • System-of-Systems Engineering

Yong-Jun Shin
yjshin@se.kaist.ac.kr

  • Research Interests
    • Self-Adaptive Systems Modeling
    • System-of-Systems Engineering

Sangwon Hyun
swhyun@se.kaist.ac.kr

  • Research Interests
    • Fault Localization
    • System-of-Systems Engineering