>   Dipartimento di Informatica   >   Toni Mancini
[login|nuovo account]      [Italiano|English]

Tesi di laurea

Argomenti di tesi

Sarei felice di supervisionare studenti brillanti nel loro lavoro di tesi, triennale o magistrale.
In caso di lavori di qualità particolarmente alta, sono previsti premi in denaro e/o contratti di collaborazione post-lauream.

Attualmente sono particolarmente interessato ai seguenti argomenti:
Model-based verification and automated synthesis of personalised clinical protocols for fertility-related treatments
Per una introduzione all'argomento si può far riferimento al sito web del progetto EU Paeon:
Model-based verification and automated synthesis of price policies in smart electric grids
Per una introduzione all'argomento si può far riferimento al sito web del progetto EU SmartHG:
Autonomous constraint-based local and evolutionary search over massive data-sets
Per una introduzione all'argomento ed idee per lavoro futuro si può far riferimento a questa locandina e all'articolo seguente:

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
Per una introduzione all'argomento ed idee per lavoro futuro si può far riferimento all'articolo seguente:

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

Alcune delle tesi di laurea più recenti di cui sono stato relatore

  • 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. Tesi di laurea triennale.
    Correlatore: 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. Tesi di laurea triennale.
    Correlatore: 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. Tesi di laurea magistrale.
    Correlatore: 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. Tesi di laurea magistrale.
    Correlatore: 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. Tesi di laurea triennale.
    Correlatore: Enrico Tronci.



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