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

Current PhD Students

Former PhD Students and Postdocs

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

Mauricio Cano (2020) [DBLP]

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

Thesis: Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation  (co-supervised with Vanja Pantović) [LINK]

Postdoc (Oct 2020 - Feb 2023)

BSc and MSc Students

MSc students

BSc students

Work with us!