Hyunkyu Shin
Part-time Student
- Research Interests
- Formal Modeling and Verification
- System-of-Systems Engineering
Sumin Park 
Student Representative

Student Representative
- Research Interests
- Runtime Statistical Verification
- Systems of Systems Engineering