software design group

Eunsuk Kang is a PhD student in the Software Design Group. He received his Bachelor of Software Engineering from the University of Waterloo in Canada (2007). He is interested in the application of lightweight formal methods to software design, requirements specification, and verification.

His previous projects at Waterloo include model checking the software requirements specification for the A-7E aircraft and improving the usability of the HOL theorem prover.

email: eskang@csail.mit.edu
URL: http://people.csail.mit.edu/eskang