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
Ph.D. in Computer Science, Massachusetts Institute of Technology
- cyber physical systems security and privacy
- energy and critical infrastructure security
- Formal methods
- formal methods for security
- hardware security
- Internet of Things (IoT)
- IoT security and privacy
- language-based security
- ML and AI
- protocol security
- security of AI and ML
- software safety
- software security
- threat analysis and modeling
- web security
Carnegie Bosch Institute
Engineering faculty receives CBI funding
CEE’s Burcu Akinci and Gerald Wang; CyLab’s Eunsuk Kang; ECE’s Gauri Joshi; EPP’s Alex Davis; and MechE’s Satbir Singh, and Conrad Tucker, and Ding Zhao were awarded funding from the Carnegie Bosch Institute.
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.