Ph.D. Students


 

Misun Yu

  • 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
Student Representative

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