Ph.D. Students


 

Misun Yu
Part-time Student

  • Research Interests
    • Concurrent Software Analysis

 

Young-Min Baek

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

 

Jiyoung Song

  • 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

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

  

Yong-Jun Shin

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

 

Sumin Park
Student Representative

  • Research Interests
    • Runtime Statistical Verification
    • Systems of Systems Engineering

 

Sangwon Hyun

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