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

Avvisi
11/10/2019Eventi interessanti: Lunedì 14 ottobre 2019 Jill Morris, Ambasciatore UK in Italia sarà ospite del nostro dipartimento con una tavola rotonda su Cyber Diplomacy. Dettagli disponibili qui !. Gli studenti sono cordialmente invitati a partecipare!

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]