Computer Science and Artificial Intelligence Laboratory

Emina Torlak

[emina]

Emina was a PhD student in the SDG. She developed a backend for analysing first order logic with relations and transitive closure, which provides an elegent API and efficient support for partial instances. Her prior research includes the implementation of a type system and development of the formal semantics for Alloy 3.0, and the use of Alloy to model and verify cryptographic protocols.

She is currently working at IBM research.

email: emina@mit.edu
url: http://www.mit.edu/people/emina/index.html