Carnegie Mellon University

Eunsuk Kang

Dr. Eunsuk Kang

Assistant Professor, Institute for Software Research

5000 Forbes Avenue
Pittsburgh, PA 15213


I am interested in finding better ways to design software systems that are safe, secure, and reliable to use. I am especially interested in leveraging rigorous modeling and analysis techniques to detect and address potential flaws in an early development stage.

Interests. Software design, assurance, modeling, verification, security, safety, and cyber-physical systems.

Applications. Some of the systems that I've recently worked on include intelligent vehiclesa water treatment planta medical deviceIoT and mobile platforms, and web applications.