Eunsuk Kang is an assistant professor at Carnegie Mellon University’s Institute of Software Research. He is interested in finding better ways to design software systems that are safe, secure, and reliable to use, especially in leveraging rigorous modeling and analysis techniques to detect and address potential flaws in early development stages. Kang's interests include software design, assurance, modeling, verification, safety, security, and cyber-physical systems.

Prior to joining Carnegie Mellon, Kang spent a year working on connected vehicles at Toyota ITC, and was a postdoctoral scholar on the NSF ExCAPE program. He received a Ph.D. in computer science at MIT, and studied software engineering at the University of Waterloo

5319 Wean Hall
Google Scholar
Eunsuk Kang
Eunsuk Kang’s Website


Ph.D. in Computer Science, Massachusetts Institute of Technology

Media mentions

CyLab Security and Privacy Institute

Third round of Secure and Private IoT Initiative funded projects announced

Carnegie Mellon CyLab’s Secure and Private IoT Initiative (IoT@CyLab) has announced its third round of funding, which will support 12 Internet of Things (IoT)-related projects for one year.