Skip to main content
Carnegie Mellon University

Eunsuk Kang

Dr. Eunsuk Kang

Assistant Professor, Software and Societal Systems

Bio

Eunsuk Kang is an Associate Professor of Computer Science in the Software and Societal Systems Department at CMU. He works at the intersection of software engineering and formal methods. He is especially interested in leveraging rigorous modeling and analysis techniques to design software systems that are safe, secure, and reliable. His current interests include software design, requirements, modeling, specification and verification, system safety, security, and cyber-physical systems.

Research

Research Areas of Interest
  • Analysis & Assurance
  • Architecture & Design
  • Autonomous Systems
  • Complex Socio-Technical Systems
  • Privacy and Security, Requirements