Scholar
Eunsuk Kang
Google Scholar ID: Pz0Nzr8AAAAJ
Associate Professor of Computer Science, Carnegie Mellon University
Citations & Impact
Citations
1,645
H-index
20
i10-index
36
Publications
20
Co-authors
25
list available
Contact
Publications
Resume (English only)
Academic Achievements
- - Publications: FSE ‘20, ICSE ‘23, CAV ‘23, FM ‘24, ICSE ‘25, PLATEAU ‘25, SoSyM ‘24, FMCAD ‘24, NFM ‘24, FSE ‘21, SEAMS ‘24, NFM ‘24
- - Teaching: 17-423/723: Designing Large-Scale Software Systems, 17-614 & 624: Formal Methods, 17-445/645: SE for AI-enabled Systems, 17-651: Models of Software Systems
- - Service: Program co-chair: SEAMS 2026; Co-organizer: Dagstuhl Seminar on Specification Engineering, 2025; 3rd International Workshop on Designing Software (@ICSE ‘26); Co-director: CyLab Robotics Security and Privacy Initiative; PC member for multiple conferences; Associate editor, IEEE Transactions on Software Engineering (TSE)
Research Experience
- - Associate Professor, School of Computer Science, Carnegie Mellon University
- - Worked on connected vehicles at Toyota for a year
- - Postdoctoral scholar on the NSF ExCAPE program with Stéphane Lafortune and Stavros Tripakis
Education
- - Ph.D. in Computer Science, Massachusetts Institute of Technology (MIT), Advisor: Daniel Jackson
- - Bachelor's degree in Software Engineering, University of Waterloo, Undergraduate researcher at WatForm
Background
- - Research Interests: Intersection of software engineering and formal methods
- - Specialization: Software design, requirements, modeling, specification and verification, system safety, security, and cyber-physical systems
- - Summary: Focuses on leveraging rigorous modeling and analysis techniques to design safe, secure, and reliable software systems.
Miscellany
- - Personal Interests: Not provided
