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. His research areas of interest are; Analysis & Assurance, Architecture & Design, Autonomous Systems, Complex Socio-Technical Systems, Privacy and Security, Requirements