I am fortunate to work with (and learn from) a fantastic group of young researchers!

Current PhD Students

Former PhD Students and Postdocs

PhD student. Thesis: Minimal Structures for Program Analysis and Verification [DOI]

Mauricio Cano (2020) [DBLP]

PhD student. Thesis: Session-based concurrency: between operational and declarative views [DOI]

PhD student, co-supervised with Vanja Pantović. Thesis: Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation  [LINK]

PhD student. Thesis:  Correctly Communicating Software: Distributed, Asynchronous, and Beyond [LINK]

Postdoc (Oct 2020 - Feb 2023)

BSc and MSc Students

MSc students

BSc students

Work with us!