معرفی
Eunsuk Kang is an Associate Professor in the Software and Societal Systems Department at Carnegie Mellon University's School of Computer Science. He leads the Software Design and Analysis (SoDA) Group, focusing on the intersection of software engineering and formal methods to create safe, secure, and reliable software systems.
His research spans several key areas including software design, requirements engineering, modeling, specification and verification, with particular emphasis on system safety, security, and cyber-physical systems. Kang's work addresses fundamental challenges in designing robust software systems that can withstand environmental deviations and uncertainties.
Kang's publication record shows a strong trajectory of research contributions, with recent work focusing on specification engineering, robustness in software design, automated reasoning techniques, and safety in cyber-physical systems. His publications appear consistently in top-tier software engineering conferences including ICSE, ASE, FSE, and ESEC/FSE.
As an educator, Kang teaches advanced courses including Designing Large-Scale Software Systems, Formal Methods, and Software Engineering for AI-enabled Systems, reflecting his expertise at the cutting edge of software engineering research and practice.
He actively contributes to the academic community as a Program Co-Chair for SEAMS 2026, co-organizer of the Dagstuhl Seminar on Specification Engineering, and serves on program committees for numerous prestigious conferences including ICSE, ASE, and OOPSLA. Kang is also an Associate Editor for IEEE Transactions on Software Engineering (TSE).
