Eunsuk Kang

Postdoctoral Researcher
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley

office: 545K Cory Hall
email: eunsuk.kang at

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

I received my PhD in Computer Science from MIT, working with Prof. Daniel Jackson.


My research interests lie in software engineering and programming languages. I am especially interested in leveraging lightweight formal methods to construct software systems that are safe, secure, and reliable to use.

[CV] [Research Statement] [Teaching Statement]

Topics Software reliability, modeling, verification, design methodologies, and cyber-physical systems.

I've also spent summers working with Rajeev Joshi at the NASA JPL, and Ethan Jackson at Microsoft Research on FORMULA.

I was a member of the MIT Programming Languages group.

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



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)


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

My academic genealogy