>   Dipartimento di Informatica   >   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

  • 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.

  • 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.



This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V