Dr. Eunsuk Kang
Assistant Professor, Software and Societal Systems
Contact
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