I'm an assistant professor at the Department of Informatics Engineering (DEI) of the Faculty of Engineering of the University of Porto (FEUP), Portugal, and a senior researcher at HASLab, INESC TEC's unit focused on high-assurance software development, developing, teaching and applying formal techniques for software engineering.
My main research interest lies in trustworthy software design, particularly in the application of lightweight formal methods based on model checking and model finding to software engineering. I'm one of the developers of Alloy 6 and its Analyzer, a tool to analyze software models. I've also been tailoring such techniques for the robotics domain to promote the development of dependable robotics software, and I've applied them in knowledge transfer and consultancy projects.
My teaching activities mainly focus on programming languages and formal methods for software engineering. In this context, I also maintain Alloy4Fun, a platform for teaching Alloy.