Skip to content
CV sections
 

Work Experience

 
  • 04/2019 - current
    Associate Professor

    Department of Information Engineering, Computer Science and Mathematics, University of L'Aquila

  • 07/2012 - 03/2019
    Assistant Professor

    Department of Information Engineering, Computer Science and Mathematics, University of L'Aquila

  • 09/2002 - 07/2012
    Assistant Professor

    Department of Computer Science, University of L'Aquila

 

Education And Training

 
  • 1999 - 2003
    Ph.D. - Computer Science

    result: ottimo
    Universita' degli Studi di Roma "La Sapienza"

  • 1994 - 1998
    Master Degree - Computer Science

    result: 110/110 cum laude
    Universita' degli Studi dell'Aquila

 

Research Projects

 
  • 2018 - 2021
    Safe - Design sostenibile di sistemi di arredo intelligenti con funzione salva-vita durante eventi sismici

    Responsabile scientifico per il DISIM

  • 2018 - 2020
    Cyber Trainer

    Member of the computer science unit

  • 2014 - 2017
    Smart digital ecosystem for the Customer Experience Enhancement

    Member of the computer science unit

  • 2014 - 2017
    Original In Touch

    Member of the computer science unit

  • 2012 - 2014
    Trasferimento tecnologico e creazione di nuove imprese nell'ambito delle tecnologie ICT avanzate applicate allo sviluppo economico e territoriale post sisma

    Membro della commissione selezionatrice idee di business

  • 01/2005 - 12/2005
    COVerifica

    Developer, Researcher

  • 1999 - 2001
    Theory of Concurrency, Higher Order Languages and Types

    Member of the computer science unit

  • 1999 - 2001
    Software Architecture and Languages to Coordinate Distributed Mobile Components

    Member of the computer science unit

 

Conferences And Workshops

 
  • 10/2023
    11th Italian Workshop on Planning and Scheduling (IPS 2023)

    Program committee member

  • 10/2019
    7th Italian Workshop on Planning and Scheduling (IPS 2019)

    Program committee member

  • 10/2019
    The 35th ACM Symposium on Applied Computing (SAC 2020) - KomIS track

    Program committee member

  • 10/2017
    32nd AAAI Conference on Artificial Intelligence (AAAI-18)

    Program committee member

  • 02/2017
    Student Abstract Program - 30th AAAI Conference on Artificial Intelligence (AAAI-16)

    Program committee member

  • 08/2016
    22nd European Conference on Artificial Intelligence (ECAI 2016)

    Program committee member

  • 07/2016
    25th International Joint Conference on Artificial Intelligence (IJCAI 2016)

    Program committee member

  • 09/2015
    6th Italian Workshop on Planning and Scheduling (IPS 2015)

    Program committee member

  • 06/2015
    Workshop on Model-Checking and Automated Planning (MOCHAP '15)

    Program committee member

  • 09/2014
    Student Abstract Program - 29th AAAI Conference on Artificial Intelligence (AAAI-15)

    Program committee member

  • 06/2014
    Workshop on Model Checking and Automated Planning (MOCHAP'14)

    Program committee member

  • 12/2013
    5th Italian Workshop on Planning and Scheduling (IPS 2013)

    Program committee member

  • 06/2011
    Workshop VVPS 2011 (Verification and Validation of Planning and Scheduling Systems)

    Program committee member

  • 10/2003
    CHARME 2003 (Advanced Research Working Conference on Correct Hardware Design and Verification Methods)

    Organizing committee member

 

Teaching Experience

 
  • 2020 - current
    Laboratorio di Dati

    Laurea in Informatica
    Università degli Studi dell'Aquila

  • 2016 - current
    Sviluppo Web avanzato

    Laurea in Informatica
    Università degli Studi dell'Aquila

  • 2006 - current
    Ingegneria del Web / Web Engineering

    Laurea in Informatica
    Università degli Studi dell'Aquila

  • 2020 - 2022
    Web API

    Master in Mobile and Web Technology
    Università degli Studi dell'Aquila

  • 2018 - 2018
    Laboratorio di Dati

    Laurea in Informatica
    Università degli Studi dell'Aquila

  • 2004 - 2015
    Tecnologie XML

    Master in Web Technology
    Università degli Studi dell'Aquila

  • 2014 - 2015
    Service Oriented Architectures

    Master in Web Technology
    Università degli Studi dell'Aquila

  • 2004 - 2014
    Servizi Web

    Master in Web Technology
    Università degli Studi dell'Aquila

  • 10/2012 - 10/2012
    Web Services

    ISTAT

  • 11/2011 - 03/2012
    Modelli e Linguaggi per il Web / Web Services

    CAD 2.5 : Metodologie e Tecnologie Innovative per i Servizi Web (modulo tecnologico)
    Scuola Superiore della Pubblica Amministrazione

  • 10/2011 - 10/2011
    Javascript

    ISTAT

  • 10/2011 - 10/2011
    Web Services

    ISTAT

  • 2001 - 2006
    Laboratorio di Basi di Dati

    Laurea in Informatica
    Università degli Studi dell'Aquila

  • 03/2002 - 03/2002
    Tecnologie XML

    Tecnologie OpenSource
    BitMedia S.r.l.

  • 2000 - 2001
    Applicazioni su Rete

    Laurea in Informatica
    Università degli Studi dell'Aquila

  • 1999 - 2000
    Programmazione 2

    Laurea in Informatica
    Università degli Studi dell'Aquila

 

Supervising Activity

 
  • 01/01/2000 - current
    Supervisor of over 160 students

    Bachelor and Master Degree In Computer Science
    University of L'Aquila

  • 01/01/2017 - 27/11/2020
    Supervisor of phd student Ivan Letteri

    Thesis title: "Performance Improvement Strategies for Malware Traffic Detection with Machine Learning Models"
    Ph.D. in Information and Communication Technology – XXXII Cycle
    University of L'Aquila

  • 01/01/2009 - 31/01/2012
    Supervisor of phd student Fabio Mercorio

    Thesis title: "Model Checking for the Analysis and Control of Complex and Non – deterministic Systems"
    Ph.D. in Computer Science and Applications – XX Cycle
    University of L'Aquila

  • 01/01/2008 - 31/01/2009
    Supervisor of phd student Daniele Magazzeni

    Thesis title: "Explicit Model Checking Techniques Applied to Control and Planning Problems"
    Ph.D. in Computer Science and Applications – XX Cycle
    University of L'Aquila

 

Other Academic Activities

 
  • 07/2018 - current
    Commissione informatizzazione dei processi

    Coordinator
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, University of L'Aquila

  • 07/2018 - current
    Commissione comunicazione e web

    Member
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, University of L'Aquila

  • 06/2018 - current
    Giunta di Dipartimento

    Member
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, University of L'Aquila

  • 02/2018 - current
    Commissione consultiva di Ateneo per la transizione al digitale

    Member
    University of L'Aquila

  • 2014 - current
    Gruppo del riesame

    Member
    Corso di Laurea in Informatica, University of L'Aquila

  • 2005 - current
    Commissione pratiche studenti

    Member
    Corso di Laurea Magistrale in Informatica, University of L'Aquila

  • 2010 - 2020
    Commissione orientamento

    Member
    Corso di Laurea in Informatica, University of L'Aquila

  • 2012 - 2019
    Team di sviluppo e manutenzione del portale didattico del Dipartimento

    Coordinator
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, University of L'Aquila

  • 10/2014 - 10/2014
    Commissione giudicatrice delle prove di selezione per l'accesso ai corsi TFA II ciclo a.a. 2014/2015 per la classe A042

    Member

  • 2012 - 2014
    Collegio dei docenti del dottorato di ricerca in Ingegneria e Scienze dell'Informazione

    Member
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, University of L'Aquila

  • 2006 - 2012
    Collegio dei docenti del dottorato di ricerca in Informatica ed Applicazioni

    Member
    Dipartimento di Informatica, University of L'Aquila

 

Software Development Experience

 
  • 01/2010 - 12/2020
    UPMurphi

    Hybrid Systems Planner
    https://github.com/gdellapenna/UPMurphi
    University of L'Aquila

  • 10/2013 - 10/2018
    Didattica DISIM

    DISIM Department didactic portal
    University of L'Aquila

  • 01/2005 - 10/2013
    Informatica@AQ

    Computer science degree didactic portal
    University of L'Aquila

  • 01/2002 - 12/2004
    CMurphi

    Software model checker
    http://people.disim.univaq.it/dellapenna/murphi/cmurphi.php
    University of L'Aquila