Eunsuk Kang

Toyota ITC
Mountain View, CA

email: eskang [at] cmu [dot] edu


I am excited to be joining Carnegie Mellon University as an Assistant Professor in Fall 2018! Until then, I will be a Researcher at Toyota ITC in Mountain View, working on the safety and security of intelligent vehicles.


I am interested in leveraging lightweight formal methods to design and construct software systems that are safe, secure, and reliable to use.

Research Topics Software assurance, modeling, verification, design methodologies, security, and system safety.



Spring 2013 6.170 Software Studio (Curriculum Development)
IAP 2010 6.088 Introduction to C/C++ Programming (Instructor)
Fall 2009 6.00 Introduction to Computer Science and Programming (TA)
Fall 2008 6.005 Elements of Software Construction (TA)


At MIT, I was a member of the CSAIL Student Committee. I also helped organize the CSAIL Student Workshop and the CSAIL Olympics.

Before coming to MIT, I studied software engineering at the University of Waterloo, where I spent several terms as a member of WatForm.

My academic genealogy