Massachusetts Institute of Technology
Period: 16 to 26 Jan 2016
Eunsuk Kang is currently a research assistant in the Software Design Group at MIT. He received his Master of Science from MIT, and a Bachelor of Software Engineering from the University of Waterloo in Canada. He is interested in applying techniques from software engineering and formal methods to construction and analysis of systems where security or safety is a critical issue.