Eunsuk Kang

Visiting Researcher
Toyota ITC
Mountain View, CA

email: eskang [at] csail [dot] mit [dot] edu


News

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

I am was a postdoctoral scholar working with Prof. Stéphane Lafortune at the University of Michigan, and Prof. Stavros Tripakis at UC Berkeley. My research was supported by the NSF Expeditions in Computer Augmented Programming Engineering (ExCAPE).

Research

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.

Publications

Teaching

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)

Miscellaneous

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