Assistant Professor (email)
If you're interested in getting started with Electrum, checkout this introductory video and this step-by-step tutorial.
The TRUST team has presented its work at the Workshop on the Future of Alloy.
Eduardo Pessoa and José Pereira have successfully defended their MSc theses on trustworthy software design.
Our paper on a temporal extension to the Alloy language has been accepted at the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE).