>   Computer Science Department   >   Toni Mancini
[login|signup]      [Italiano|English]

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:

Toni Mancini, Pierre Flener, Justin Pearson.
Combinatorial problem solving over relational databases: view synthesis through constraint-based local search.
In proceedings of the ACM Symposium on Applied Computing (SAC 2012). Riva, Trento, Italy.
Pages 80-87. ACM, 2012.

Automated negotiation among rational agents
An introduction to the topic, background information, and ideas for future work can be found in this paper:

Toni Mancini.
Now or Never: negotiating efficiently with unknown counterparts.
In proceedings of the 22nd RCRA International Workshop. Ferrara, Italy.
CEUR, 2015.

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]