|
|
Theses
Topics for new theses
I would be happy to supervise bright students during their Bachelor or MSc thesis activities.
I'm currently very interested in the following topics:
Model-based verification and automated synthesis of personalised clinical protocols for fertility-related treatments
For an introduction to the topic, please visit the Paeon EU project web site:
Model-based verification and automated synthesis of price policies in smart electric grids
For an introduction to the topic, please visit the SmartHG EU project web site:
Autonomous constraint-based local and evolutionary search over massive data-sets
An introduction to the topic, background information, and ideas for future work can be found in this paper:
Automated negotiation among rational agents
An introduction to the topic, background information, and ideas for future work can be found in this paper:
Some of the theses I recently supervised
- Agostina Calabrese.
Enabling In-Silico Clinical Trials of Biomedical Devices through Model Checking–Driven Simulation: an Application to Artificial Pancreas for Patients with Type 1 Diabetes Mellitus. Corso di laurea triennale in Informatica, Facoltà di Ingegneria dell'Informazione, Informatica e Statistica, Sapienza Università di Roma, Italia, 2017. Bachelor thesis. Co-supervisor: Stefano Sinisi.
- Alessandro Steri.
Formal Verification of Cyber-Physical Systems Defined as Functional Mockup Units via Model Checking–Driven Hardware in the Loop Simulation. Corso di laurea triennale in Informatica, Facoltà di Ingegneria dell'Informazione, Informatica e Statistica, Sapienza Università di Roma, Italia, 2017. Bachelor thesis. Co-supervisor: Stefano Sinisi.
- Francescomaria Faticanti.
Demand-Aware Grid Management Strategies. Corso di laurea magistrale in Informatica, Facoltà di Ingegneria dell'Informazione, Informatica e Statistica, Sapienza Università di Roma, Italia, 2017. MSc thesis. Co-supervisor: Enrico Tronci.
- Stefano Sinisi.
Computing Patient-Specific Biological Models for Personalised Medicine via Model Checking Driven Simulation. Corso di laurea magistrale in Informatica, Facoltà di Ingegneria dell'Informazione, Informatica e Statistica, Sapienza Università di Roma, Italia, 2016. MSc thesis. Co-supervisor: Enrico Tronci.
- Michele Laurenti.
Exploiting Black Box Disturbance Models for System Level Formal Verification. Corso di laurea triennale in Informatica, Facoltà di Ingegneria dell'Informazione, Informatica e Statistica, Sapienza Università di Roma, Italia, 2016. Bachelor thesis. Co-supervisor: Enrico Tronci.
|
[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]
|