Visiting Researchers
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.