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