Courses

2022/
2023
Object-Oriented Programming at the University of Southern Denmark.
Introduction to Programming at the University of Southern Denmark.
Scientific Programming at the University of Southern Denmark.
2021/
2022
Distributed Systems at the University of Southern Denmark.
Introduction to Programming at the University of Southern Denmark.
Scientific Programming at the University of Southern Denmark.
2020/
2021
Distributed Systems at the University of Southern Denmark.
Introduction to Programming 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.
2014/
2015
Concurrency Theory at the University of Udine.
Distributed Systems at the University of Udine.
2013/
2014
Concurrency Theory at the University of Udine.
Distributed Systems 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.

Nissen, A.K. 2022. Information Flow Analysis of Choreographic Programs. M.Sc. in Computer Science, University of Southern Denmark, Denmark.
Poulsen, A.L. 2022. A dynamic webserver for microservice-aware web applications. M.Sc. in Computer Science, University of Southern Denmark, Denmark.
Andersen, J. 2021. Inferring Communications in Coordination 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.
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.
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.