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.
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.
Antoniazzi, L. 2013. Distributed techniques for spatial computation and positioning ("Tecniche distribuite per l’elaborazione spaziale e l’orientamento"). 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. Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems. Distributed Applications and Interoperable Systems - 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings (2014), 201–208.