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
- Research Interests
- Runtime Statistical Verification
- Systems of Systems Engineering
Sangwon Hyun
Student Representative
swhyun@se.kaist.ac.kr
- Research Interests
- Fault Localization
- System-of-Systems Engineering