Computer Science and Artificial Intelligence Laboratory

Emina Torlak

[emina]

Emina did her undergraduate work at MIT, and is continuing on as a PhD student. She is developing 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.

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