Eunsuk Kang

Eunsuk Kang is an Assistant Professor at Carnegie Mellon University's Software and Societal Systems Department within the School of Computer Science. His research focuses on enhancing software system safety, security, and reliability through formal methods and rigorous modeling.

• Ph.D. in Computer Science, MIT
• Software Engineering, University of Waterloo

Research spans cyber-physical systems, software security, formal verification, and ML resilience. Key areas include robust system design against evolving environments, specification engineering, and scalable automated reasoning.

Recent publications highlight advancements in CPS safety, formal verification, and ML-based error mitigation. Collaborative projects span conferences like ICSE, CAV, and FMCAD.

Scientific Awards

• CyLab 2025 Seed Funding
• CyLab 2023 Seed Funding
• Carnegie Bosch Institute Grant

Advises doctoral students in software engineering and formal methods, with affiliations to the Software Design and Analysis (SoDA) Group and CyLab Security and Privacy Institute.