Eunsuk Kang

Cambridge, MA
I am a PhD candidate and a member of the Software Design Group in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT. My research projects have focused on developing tools and techniques for software modeling and verification, with applications to security and safety-critical systems.

My Speakers Sessions

Friday, September 19

10:30am MDT