Courses

Click on the course title to get to the page describing the course.

2020/
2021
Distributed Systems at the University of Southern Denmark.
2019/
2020
Logics for Computer Science at the University of Southern Denmark.
Concurrency Theory at the University of Southern Denmark.
2018/
2019
Advanced Topics in Concurrent Systems at the University of Southern Denmark.
2017/
2018
Algorithms and Probability at the University of Southern Denmark.
Concurrency Theory at the University of Southern Denmark.
2015/
2016
Concurrency Theory at the University of Udine.
Distributed Systems at the University of Udine.
Computer Networks and Security at the University of Udine.
2014/
2015
Concurrency Theory at the University of Udine.
Distributed Systems at the University of Udine.
Computer Networks and Security at the University of Udine.
2013/
2014
Concurrency Theory at the University of Udine.
Distributed Systems at the University of Udine.
Computer Networks and Security at the University of Udine.

Theses and projects

I am particularly interested in formal methods, programming languages, models, and tools for distributed and concurrent systems.

Below are some theses I (co)supervised.

Andersen, J. 2021. Inferring Communications inCoordination Protocols. M.Sc. in Computer Science, University of Southern Denmark, Denmark.
Jørgensen, M.K. and Stribley, A.H.K. 2021. Formal verification of the Chord protocol with TLA+. B.Sc. in Computer Science, University of Southern Denmark, Denmark.
Unwerawattana, N. 2020. Jolie: Toward Production Ready. M.Sc. in Computer Science, University of Southern Denmark, Denmark.
Mansutti, A. 2016. Loose simulations: definition, applications and computation ("Le simulazioni lasche: definizione, applicazioni e computazione"). M.Sc. in Computer Science, University of Udine, Italy.
Toneguzzo, A. 2015. Composable open memory transactions: formal semantics and implementation in Haskell ("Memorie transazionali aperte componibili: semantica formale e implementazione in Haskell"). M.Sc. in Computer Science, University of Udine, Italy.
Nicoló, G. 2014. Synthesis of event structures for process mining ("Sintesi di strutture di eventi per il process mining"). B.Sc. in Computer Science, University of Udine, Italy.
Mineo, F. 2013. Reification of generic types in Java 7 ("Reificazione dei tipi generici in Java 7"). M.Sc. in Computer Science, University of Udine, Italy.
Romanelli, M. 2013. Formal verification of the WebID authentication protocol using ProVerif ("Verifica formale del protocollo di autenticazione WebID in ProVerif"). M.Sc. in Computer Science, University of Udine, Italy.
Mansutti, A. 2013. Bigraphs as ontologies for agent oriented programming ("Bigrafi come ontologie per la programmazione orientata agli agenti"). M.Sc. in Computer Science, University of Udine, Italy.