Phd in INNOVATIVE BIOMEDICAL TECHNOLOGIES IN CLINICAL MEDICINE

email: toni.mancini@uniroma1.it
phone:

Web-site: http://tmancini.di.uniroma1.it

1. Degrees

 * 2005: Ph.D. in Computer Science Engineering. 
         Sapienza Univ. of Rome.
 
 * 2001: Master level degree (5-years laurea) in Computer Science Engineering. 
         Sapienza Univ. of Rome. 
         Cum laude.


2. Current position

 * 2008-: Ricercatore Univ. Confermato. 
          Sapienza Univ. of Rome, Computer Science Department.
 
 * 2011-: Adjunct Professor, Sapienza Univ. of Rome. 
          Courses: "Databases, Module 2" 
          and "Artificial Intelligence", B.Sc. programme in Computer Science.


3. Research Activity

 * Research areas: 
     Artificial intelligence 
     Formal verification
     Knowledge representation 
     Automated reasoning 
     Computational logic
     Computational complexity
     Constraint satisfaction
     Databases
     Software engineering

 * Publications:
     - Author of 65+ scientific publications in the major International 
       journals and conferences in his areas of expertise
       (e.g., 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. Research projects
 
  Continuously involved in research projects funded by national and International 
  institutions, the most important of them being the following:

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

    - Period: 2018–
    - Role: Key person and task responsible for Sapienza (Proj. Coordinator)
    - Total funding: Eur 340 234.31
    - Sapienza funding: Eur 95 207.06
    - Consortium: 
         1. Log.In (Italy, Coordinator); 
         2. Ariel Sistemi (Italy);
         3. Sapienza Univ. of Rome (Italy, Coordinator); 
    - Role of Sapienza: 
         1. Sapienza research activities focus on design and development of 
            artificial intelligence and model checking--based algorithms for 
            optimal placing of antennas to detect hostile unmanned aerial 
            vehicles in sensitive areas.        

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

    - Period: 2013–2016
    - Role: Key person and task responsible for Sapienza (Proj. Coordinator)
    - Call: FP7-ICT-2011-9
    - Objective: Virtual Physiological Human (ICT-2011.5.2)
    - Project type: Collaborative Project (STREP)
    - Total funding: Eur 2 453 997.00
    - Sapienza funding: Eur 626 382.00
    - Web site: paeon.di.uniroma1.it
    - Consortium: 
         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).
    - Role of Sapienza: 
         1. As Project Coordinator, Sapienza was responsible for the management 
            of the whole project;
         2. Sapienza research activities focused on formal modelling 
            of clinical treatment protocols, on their formal verification 
            based on model-checking and on the Artificial Intelligence-based 
            synthesis of individualised treatment protocols.

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

    - Period: 2012–2015
    - Role: Key person and task responsible for Sapienza (Proj. Coordinator)
    - Call: FP7-ICT-2011-8
    - Objective: Smart Energy Grids (ICT-2011.6.1)
    - Project type: Collaborative Project (STREP)
    - Total funding: Eur 3 299 998.00
    - Sapienza funding: Eur 597 378.00
    - Web site: smarthg.di.uniroma1.it
    - Consortium: 
        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).
    - Role of Sapienza: 
         1. As Project Coordinator, Sapienza was responsible for the management 
            of the whole project;
         2. Sapienza research activities focused on design and development of 
            software services based on model-checking to compute demand-aware
            electricity price policies for residential users and their formal 
            verification to guarantee safety of the 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).
    
    - Period: 2001–2003
    - Role: Participant of the Sapienza unit, subcontractor di CRMPA - Univ. 
             del Sannio (Proj. Coordinator)
    - Action line: 2000-4.3.1 Distributed development of software and systems
    - Project type: IST Project
    - Total funding: Eur 1 800 000.00
    - Consortium: 
        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.
    - Period: 2001-2004
    - Role: Participant of the Sapienza unit
    - Call: FIRB 2001
    - Project type: FIRB
    - Total funding: Eur 1 800 000.00
    - Consortium: 
        1. Istituto Trentino di Cultura (Coordinator); 
        2. Sapienza Univ. of Rome; 
        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.
    - Period: 2001-2003
    - Role: Research fellow at Istituto di Analisi dei Sistemi 
            ed Informatica of Consiglio Nazionale delle Ricerche (IASI-CNR)
    - Project type: Legge 297
    - Total funding: Eur 2 000 000.00
    - Consortium: 
        1. IASI-CNR (Coordinator); 
        2. Rational Services, Pomezia, Roma.


3.2. Research supervision

  * 2009-2017: PhD Board Member, PhD in Computer Science, Sapienza 
               Univ. of Rome.
  * 2017-:     PhD Board Member, PhD in Biomedical Technologies in 
               Clinical Medicine, Sapienza.
  * 2016-:     Supervisor of PhD student Stefano Sinisi, PhD programme in
               Computer Science.


3.3. Research coordination
  * 2019-:     Steering Committee member of the Sapienza information-based Technology InnovaTion Center for Health (S.T.I.T.C.H.)

  * 2005-:     Guest editorships: 
                  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 of the 2nd Italian Workshop on Embedded Systems (IWES 2017). 
  
  * 2007-2014: Coordinator of the Knoledge Representation and Automated Reasoning 
               group, Associazione Italiana per l'Intelligenza Artificiale 
               (AI*IA, www.aixia.it).

  * 2007-2014: Chair/Co-Chair of the International RCRA Workshops on 
               "Experimental Evaluation of Algorithms for Solving Problems 
               with Combinatorial Explosion", annual events associated to 
               major Artificial Intelligence-related conferences
               (e.g., IJCAI, FLoC, ICLP, CPAIOR, AI*IA).
  
  * 2010:      Co-chair of the 9th International Workshop on Constraint Modelling 
               and Reformulation (ModRef 2010), co-located with CP 2010.

  * 2005-:     Member of the (Senior) Programme Committee of several major 
               international conferences, e.g., AAAI, IJCAI, MICAI, ICTAI and of 
               many scientific workshops.



3.4. Academic visits

  * 2008-2011: Academic Visitor, Uppsala Univ., Department of Information 
               Technology, Sweden.
               4 visits for overall 17 months upon invitation of Prof. Pierre 
               Flener. 
               Visits have been funded by STINT (www.stint.se) and
               Blanceflor (www.blanceflor.se) grants and by Uppsala Univ..

  * 2007:      Academic Visitor, Simon Fraser Univ., Computational Logic 
               Laboratory, Burnaby, BC, Canada.
               4-month visit upon invitation of Prof. David Mitchell and funded
               by Simon Fraser Univ..

  * 2006:      Academic Visitor, Univ. of Oxford, Computing Laboratory, 
               Oxford, UK.
               3-month visit upon invitation of Prof. Georg Gottlob and funded 
               by Univ. of Oxford.


4. Teaching activities

  * 2011-:     Adjunct professor, Sapienza Univ. of Rome.
               Courses: "Databases, Module 2" and 
               "Artificial Intelligence", B.Sc. in Computer Science.

  * 2009-2010: Labs responsible, Uppsala Univ., Computer Science 
               Department, Uppsala, Sweden (Kandidatprogram i datavetenskap).

  * 2005-2010: Scientific coordinator and Sapienza instructor
               in various high-level education programmes
               ("IFTS" and "Alta Formazione" frameworks) in Computer Science, 
               funded by various governmental agencies. 

  * 2004-2008: Adjunct professor, Sapienza Univ. of Rome, 
               B.Sc. in Management Engineering, M.Sc. in Computer Science 
               Engineering.

  * 2001-2010: Labs responsible, Sapienza Univ. of Rome. 
               B.Sc. in Computer Science Engineering and B.Sc. in Computer 
               Science.