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

• Research Interests
  • • TBD