Dottorato in TECNOLOGIE BIOMEDICHE INNOVATIVE IN MEDICINA CLINICA

email: toni.mancini@uniroma1.it

Sito web: http://tmancini.di.uniroma1.it

1. Titoli di studio

 * 2005: Dottore di Ricerca in Ing. Informatica. 
         Sapienza Univ. di Roma.
 
 * 2001: Dottore in Ing. Informatica. 
         Sapienza Univ. di Roma. 
         Laurea quinquennale cum laude.


2. Posizione attuale

 * 2008-: Ricercatore Univ. Confermato. 
          Sapienza Univ. di Roma, Dip. di Informatica.
 
 * 2011-: Prof. Aggregato, Sapienza Univ. di Roma. 
          Titolare degli insegnamenti di "Basi di Dati, Modulo 2" 
          e di "Intelligenza Artificiale" nel CdL in Informatica.


3. Attività di ricerca

 * Aree di ricerca: 
     Intelligenza Artificiale, 
     Metodi di Verifica Formale, 
     Rappresentazione della Conoscenza, 
     Ragionamento Automatico, 
     Logica Computazionale, 
     Complessità Computazionale, 
     Problemi a Vincoli, 
     Basi di Dati, 
     Ing. del Software.

 * Pubblicazioni:
     - Autore di 65+ pubblicazioni scientifiche sulle più importanti riviste 
       e conferenze internazionali dei settori di interesse 
       (ad es., Artif. Intell., J. of Artif. Intell. Res., 
       Theory & Practice of Logic Progr., ACM ToCL, Constraints, 
       IEEE Trans. on Smart Grid, Appl. Artif. Intell., IJCAI, AAAI, ECAI, CAV).
 
 
3.1. Progetti di ricerca 
 
  Continuamente coinvolto in progetti di ricerca finanziati da istituzioni 
  nazionali ed internazionali. I progetti più importanti sono i seguenti:

  3.1.1. SCAPR – Sistema per il Contrasto di Aeromobili a Pilotaggio Remoto,
         FILAS LazioInnova, Italy.

    - Periodo: 2018-
    - Ruolo: Key person e responsabile di task per Sapienza
    - Finanziamento totale: Eur 340 234.31
    - Finanziamento per Sapienza: Eur 95 207.06
    - Consorzio: 
         1. Log.In (Italy, Coordinator); 
         2. Ariel Sistemi (Italy);
         3. Sapienza Univ. of Rome (Italy, Coordinator); 
    - Ruolo di Sapienza: 
         1. L'attività di ricerca di Sapienza si focalizza sul progetto e 
            sviluppo di algoritmi di intelligenza artificiale e model 
            checking per il posizionamento ottimo di antenne per 
            l'intercettazione di aeromobili a pilotaggio remoto in aree 
            sensibili.

  3.1.2. PAEON – Model Driven Computation of Treatments for Infertility Related 
         Endocrinological Diseases, European Commission, 7th Framework 
         Programme (EC FP7).

    - Periodo: 2013–2016
    - Ruolo: Key person e responsabile di task per Sapienza (Proj. Coordinator)
    - Call: FP7-ICT-2011-9
    - Objective: Virtual Physiological Human (ICT-2011.5.2)
    - Tipo progetto: Collaborative Project (STREP)
    - Finanziamento totale: Eur 2 453 997.00
    - Finanziamento per Sapienza: Eur 626 382.00
    - Sito web: paeon.di.uniroma1.it
    - Consorzio: 
         1. Sapienza Univ. of Rome (Italy, Coordinator); 
         2. Lucerne Univ. of Applied Sciences and Arts (Switzerland); 
         3. Hannover Medical School (Germany); 
         4. Univ. Hospital Zurich (Switzerland); 
         5. Zuse Institute Berlin (Germany).
    - Ruolo di Sapienza: 
         1. In qualità di Project Coordinator, Sapienza è stata responsabile 
            per la gestione dell'intero progetto; 
         2. L'attività di ricerca di Sapienza si è focalizzata sulla modellazione 
            formale dei protocolli di trattamenti clinici, sulla loro verifica 
            formale basata su model checking e sulla sintesi di protocolli 
            individualizzati.

  3.1.3. SmartHG – Energy Demand Aware Open Services for Smart Grid Intelligent 
         Automation, European Commission, 7th Framework Programme (EC FP7).

    - Periodo: 2012–2015
    - Ruolo: Key person e responsabile di task per Sapienza (Proj. Coordinator)
    - Call: FP7-ICT-2011-8
    - Objective: Smart Energy Grids (ICT-2011.6.1)
    - Tipo progetto: Collaborative Project (STREP)
    - Finanziamento totale: Eur 3 299 998.00
    - Finanziamento per Sapienza: Eur 597 378.00
    - Sito web: smarthg.di.uniroma1.it
    - Consorzio: 
        1. Sapienza Univ. of Rome (Italy, Coordinator); 
        2. Aarhus Univ. (Denmark); 
        3. IMDEA Energia (Spain); 
        4. A. V. Luikov Heat and Mass Transfer Institute of the 
           National Academy of Sciences of Belarus (Belarus); 
        5. ATANVO GmbH (Germany); 
        6. GridManager A/S (Denmark); 
        7. Panoramic Power (Israel); 
        8. Solintel (Spain); 
        9. SEAS – NVE (Denmark); 
       10. Kalundborg Municipality (Denmark); 
       11. Minskenergo (Belarus).
    - Ruolo di Sapienza: 
      1. In qualità di Project Coordinator, Sapienza è stata responsabile 
         per la gestione dell'intero progetto; 
      2. L'attività di ricerca di Sapienza si è focalizzata sul progetto e 
         sviluppo di servizi software basati su model checking per calcolare 
         politiche di prezzo dell'energia a clienti residenziali e per la 
         verifica formale della loro safety per la Electrical Distribution Network.

  3.1.4. GENESIS – GEneralized eNvironment for procEsS management in cooperatIve 
         Software engineering (IST-2000-29380), 
         European Commission, 5th Framework Programme (EC FP5).
    
    - Periodo: 2001–2003
    - Ruolo: Partecipante per Sapienza, subcontractor di CRMPA - Univ. 
             del Sannio (Proj. Coordinator)
    - Action line: 2000-4.3.1 Distributed development of software and systems
    - Tipo progetto: IST Project
    - Finanziamento totale: Eur 1 800 000.00
    - Consorzio: 
        1. CRMPA – Univ. del Sannio (Italy, Coordinator); 
        2. Atos Origin SA (Spain); 
        3. Univ. of Durham (UK); 
        4. MO.M.A. S.R.L. (Italy); 
        5. LogicDis S.A. (Greece).

  3.1.5. ASTRO – Automazione dell'Ing. del Software basata su Conoscenza, 
         MIUR, Fondo per gli Investimenti della Ricerca di Base.
    - Periodo: 2001-2004
    - Ruolo: Partecipante per Sapienza
    - Call: FIRB 2001
    - Tipo progetto: FIRB
    - Finanziamento totale: Eur 1 800 000.00
    - Consorzio: 
        1. Istituto Trentino di Cultura (Coordinator); 
        2. Sapienza Univ. di Roma; 
        3. Univ. di Genova; 
        4. Univ. di Trento; 
        5. Delisa SpA; 
        6. Laboratorio Analisi, Trento.
    
  3.1.6. SEKDBM – Sviluppo di un motore di ricerca tematico, MIUR, Legge 297.
    - Periodo: 2001-2003
    - Ruolo: Collaboratore di Ricerca presso l'Istituto di Analisi dei Sistemi 
             ed Informatica del Consiglio Nazionale delle Ricerche (IASI-CNR)
    - Tipo progetto: Legge 297
    - Finanziamento totale: Eur 2 000 000.00
    - Consorzio: 
        1. IASI-CNR (Coordinator); 
        2. Rational Services, Pomezia, Roma.


3.2. Supervisione di attività di ricerca

  * 2009-2017: Membro del Collegio Docenti del Dottorato di Ricerca in Informatica, 
               Sapienza Univ. di Roma.
  * 2017-:     Membro del Collegio Docenti del Dottorato di Ricerca in 
               Tecnologie Biomediche Innovative in Medicina Clinica, Sapienza.
  * 2016-:     Supervisore dello studente di dottorato Stefano Sinisi.


3.3. Coordinamento di attività di ricerca
  * 2019-:     Membro dello Steering Committee di Sapienza information-based Technology InnovaTion Center for Health (S.T.I.T.C.H.)

  * 2005-:     Guest editorship per riviste internazionali. Guest editor per: 
                  1. AI Communications 
                     (IOS Press, ISSN 0921-7126); 
                  2. Fundamenta Informaticae 
                     (IOS Press, ISSN 0169-2968); 
                  3. Journal of Experim. and Theor. Artificial Intelligence 
                     (Taylor & Francis, ISSN 1362-3079); 
                  4. Journal of Algorithms in Cognition, Informatics and Logic 
                     (Elsevier, ISSN 0196-6774); 
                  5. Annals of Mathematics and Artificial Intelligence 
                     (Springer, ISSN 1012-2443) 
                  6. Intelligenza Artificiale 
                     (IOS Press, ISSN 1724-8035).

  * 2017:      Co-chair del 2nd Italian Workshop on Embedded Systems (IWES 2017). 
  
  * 2007-2014: Coordinatore del Gruppo di lavoro in Rappresentazione della 
               Conoscenza e Ragionamento Automatico, 
               Associazione Italiana per l'Intelligenza Artificiale 
               (AI*IA, www.aixia.it).

  * 2007-2014: Chair/Co-Chair degli International RCRA Workshops on 
               "Experimental Evaluation of Algorithms for Solving Problems 
               with Combinatorial Explosion", eventi annuali associati a 
               conferenze di riferimento per l'Intelligenza Artificiale come 
               IJCAI, FLoC, ICLP, CPAIOR, AI*IA.
  
  * 2010:      Co-chair del 9th International Workshop on Constraint Modelling 
               and Reformulation (ModRef 2010), associato a CP 2010.

  * 2005-:     Membro del (Senior) Programme Committee di numerose conferenze 
               internazionali di riferimento per l'Intelligenza Artificiale 
               come AAAI, IJCAI, MICAI, ICTAI e di numerosi workshop scientifici.



3.4. Visite presso altre istituzioni

  * 2008-2011: Academic Visitor, Uppsala Univ., Department of Information 
               Technology, Svezia.
               4 visite per un totale di 17 mesi su inviti del Prof. Pierre Flener. 
               Le visite sono state finanziate da grant STINT (www.stint.se), 
               Blanceflor (www.blanceflor.se) e da fondi della Uppsala Univ..

  * 2007:      Academic Visitor, Simon Fraser Univ., Computational Logic 
               Laboratory, Burnaby, BC, Canada.
               Visita di 4 mesi su invito del Prof. David Mitchell e finanziata da 
               fondi della Simon Fraser Univ..

  * 2006:      Academic Visitor, Univ. of Oxford, Computing Laboratory, 
               Oxford, UK.
               Visita di 3 mesi su invito del Prof. Georg Gottlob e finanziata da 
               fondi della Univ. of Oxford.


4. Attività didattica

  * 2011-:     Prof. Aggregato, Sapienza Univ. di Roma.
               Titolare degli insegnamenti di "Basi di Dati, Modulo 2" e di 
               "Intelligenza Artificiale" del CdL in Informatica.

  * 2009-2010: Titolare dei laboratori, Uppsala Univ., Computer Science 
               Department, Uppsala, Svezia (Kandidatprogram i datavetenskap, 
               CdL in Informatica).

  * 2005-2010: Coordinatore scientifico e docente per conto di Sapienza 
               Univ. di Roma in corsi di formazione superiore 
               (IFTS e Alta Formazione) finanziati da agenzie governative. 

  * 2004-2008: Prof. Aggregato, Sapienza Univ. di Roma, 
               CdL in Ing. Gestionale e CdL Magistrale in 
               Ing. Informatica.

  * 2001-2010: Titolare dei laboratori, Sapienza Univ. di Roma. 
               CdL in Ing. Informatica e CdL in Informatica.