Eunsuk Kang

Eunsuk Kang is an Associate Professor in the Software and Societal Systems Department at Carnegie Mellon University's School of Computer Science. Their research focuses on the intersection of software engineering and formal methods, emphasizing rigorous modeling and analysis techniques to create safe, secure, and reliable systems.

• PhD in Computer Science from MIT
• Postdoctoral scholar at NSF ExCAPE program
• Former connected vehicles researcher at Toyota

Their research interests span software design, requirements engineering, modeling, specification and verification, system safety, security, and cyber-physical systems (CPS). Recent projects explore robustness in evolving environments, specification engineering, automated reasoning for complex systems, and safety/resilience mechanisms in ML-based CPS. Publications highlight advancements in Signal Temporal Logic decomposition, LTL specification learning, and requirement-driven adaptation frameworks.

Selected scientific contributions include:

• tl;dr: Chill, y’all – AI will not devour SE (Onward! Essays 2024): Critical perspective on AI integration in software engineering
• FairSense (ICSE 2025): Long-term fairness analysis for ML-enabled systems
• AlloyMax (ESEC/FSE 2021): Relational specification satisfaction techniques

As an educator, Kang teaches graduate courses in software design and formal methods, including:

• 17-423/723: Designing Large-Scale Software Systems
• 17-614 & 624: Formal Methods
• 17-445/645: Software Engineering for AI-enabled Systems
• 17-651: Models of Software Systems

Service activities include:

• Program co-chair for SEAMS 2026
• Co-organizer of Dagstuhl Seminar on Specification Engineering
• Co-organizer of International Workshop on Designing Software
• Program committee member for ICSE, OOPSLA, ASE, and specialized conferences

Notable research collaborations include work with:

• Ben-hau Chia (PhD student)
• Parv Kapoor (PhD student)
• Yiliang (Leo) Liang (PhD student)
• Sumon Biswas (Postdoc)
• Rômulo Meira-Góes (Postdoc)