Assistant Professor (email)
We will be giving a tutorial on Formal software design with Alloy and Electrum at the 3rd World Congress on Formal Methods in October.