Courses
Click on the course title to get to the page describing the course.
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 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.
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.
- Awards:
- Publications:
- Mansutti, A. et al. 2017. Loose Graph Simulations. Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (2017), 109–126.
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.
- Publications:
- Miculan, M. et al. 2015. Open Transactions on Shared Memory. Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings (2015), 213–229.
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.
- Publications:
- Mansutti, A. et al. 2014. Distributed execution of bigraphical reactive systems. Electronic Communications of the EASST. 71, (2014). DOI:10.14279/tuj.eceasst.71.994.