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

Current PhD Students

Former PhD Students and Postdocs

Mauricio Cano (2020)

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

[DBLP]

Jovana Dedeić (co-supervised with Vanja Pantović, 2022)

Relative Expressiveness of Process Calculi with Dynamic Update and Runtime Adaptation [LINK]

[DBLP]

Dan Frumin

Postdoc (Oct 2020 - Feb 2023)

BSc and MSc Students

MSc students

BSc students

Work with us!