Photo by Daniel Jackson

Eunsuk Kang Software Design Group Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology office: 32-G708 email: eskang at csail.mit.edu

I am a graduate student working with Prof. Daniel Jackson.

Research

I am interested in applying lightweight formal methods to software engineering.

Topics Specification languages, requirements and design analysis, traceability, code generation, and model checking.

Publications

• D. Jackson and E. Kang. Property-part diagrams: A dependence notation for software systems. In Software Design and Requirements: A Tribute to Michael Jackson, 2009. (PDF)
• E. Kang and D. Jackson. Designing and analyzing a flash file system with Alloy. To appear in the International Journal of Software and Informatics (IJSI), 2009.
• E. Kang and D. Jackson. Formal modeling and analysis of a flash filesystem. ASM, B, and Z (ABZ '08). London, UK, 2008. (PDF) (slides)
• E. Kang and M. Aagaard. Improving the usability of HOL through controlled automation tactics. Theorem Proving in Higher Order Logics (TPHOLs '07). Kaiserslautern, Germany, 2007. (PDF) (slides)

Talks

• Counterexample detection, core extraction, and simulation: Three analyses applied to a flash file system model. VSR-net Workshop, co-located with ABZ '08. London, UK, September 2008. (abstract) (slides)

Teaching

Fall 2009 6.00: Introduction to Computer Science and Programming (TA)
Fall 2008 6.005: Elements of Software Construction (TA)

Misc

Previous life Before coming to MIT, I studied software engineering at the University of Waterloo in Canada. I also spent several terms as a member of WatForm.

My academic genealogy