Vai al contenuto
Sezioni CV
 

Esperienza Lavorativa

 
  • 04/2019 - oggi
    Professore Associato

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

  • 12/2004 - oggi
    Partner

    Beep Innovation ha avuto accesso a numerosi finanziamenti a livello regionale e nazionale per lo sviluppo di progetti software innovativi e il trasferimento tecnologico verso le imprese tramite la sua attività di consulenza ICT.
    Beep Innovation s.r.l.

  • 06/2004 - oggi
    Perito giurato

    Ha svolto C.T.U. su argomenti di carattere informatico
    Tribunale Civile dell'Aquila

  • 07/2012 - 03/2019
    Ricercatore Universitario

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

  • 09/2002 - 07/2012
    Ricercatore Universitario

    Department of Computer Science, University of L'Aquila

 

Istruzione e Formazione

 
  • 06/2004
    Corso - Avviamento all'Imprenditoria nell'ambito del Progetto Colombo per lo sviluppo di spin-off universitari

  • 1999 - 2003
    Ph.D. - Informatica

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

  • 1994 - 1998
    Laurea - Informatica

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

  • 1988 - 1993
    Diploma - Maturità classica

    risultato: 60/60

 

Progetti di Ricerca

 
  • 2023 - oggi
    VITALITY - Ecosistema Innovazione, Digitalizzazione e Sostenibilità per l’economia diffusa nel Centro Italia - SPOKE 1

    Collaboratore

  • 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

    Membro dell'unita di ricerca

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

    Membro dell'unita di ricerca

  • 2014 - 2017
    Original In Touch

    Membro dell'unita di ricerca

  • 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

    Sviluppatore, Ricercatore

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

    Membro dell'unita di ricerca

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

    Membro dell'unita di ricerca

 

Conferenze e Workshop

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato di programma

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

    Membro del comitato organizzatore

 

Esperienza Didattica

 
  • 2020 - oggi
    Laboratorio di Dati

    Laurea in Informatica
    Università degli Studi dell'Aquila

  • 2016 - oggi
    Sviluppo Web avanzato

    Laurea in Informatica
    Università degli Studi dell'Aquila

  • 2006 - oggi
    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

 

Esperienza di Supervisione

 
  • 01/01/2000 - oggi
    Supervisore di oltre 160 studenti

    Corsi di Laurea e Laurea Magistrale in Informatica
    Università degli Studi di L'Aquila

  • 01/01/2017 - 27/11/2020
    Supervisore dello studente di dottorato Ivan Letteri

    Titolo della tesi: "Performance Improvement Strategies for Malware Traffic Detection with Machine Learning Models"
    Dottorato di Ricerca in Information and Communication Technology – XXXII Ciclo
    Università degli Studi di L'Aquila

  • 01/01/2009 - 31/01/2012
    Supervisore dello studente di dottorato Fabio Mercorio

    Titolo della tesi: "Model Checking for the Analysis and Control of Complex and Non – deterministic Systems"
    Dottorato di Ricerca in Informatica e Applicazioni – XXIV Ciclo
    Università degli Studi di L'Aquila

  • 01/01/2008 - 31/01/2009
    Supervisore dello studente di dottorato Daniele Magazzeni

    Titolo della tesi: "Explicit Model Checking Techniques Applied to Control and Planning Problems"
    Dottorato di Ricerca in Informatica e Applicazioni – XX Ciclo
    Università degli Studi di L'Aquila

 

Altre Attività Accademiche

 
  • 07/2018 - oggi
    Commissione informatizzazione dei processi

    Coordinatore
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Università degli Studi di L'Aquila

  • 07/2018 - oggi
    Commissione comunicazione e web

    Membro
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Università degli Studi di L'Aquila

  • 06/2018 - oggi
    Giunta di Dipartimento

    Membro
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Università degli Studi di L'Aquila

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

    Membro
    Università degli Studi di L'Aquila

  • 2014 - oggi
    Gruppo del riesame

    Membro
    Corso di Laurea in Informatica, Università degli Studi di L'Aquila

  • 2005 - oggi
    Commissione pratiche studenti

    Membro
    Corso di Laurea Magistrale in Informatica, Università degli Studi di L'Aquila

  • 2010 - 2020
    Commissione orientamento

    Membro
    Corso di Laurea in Informatica, Università degli Studi di L'Aquila

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

    Coordinatore
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Università degli Studi di 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

    Membro

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

    Membro
    Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Università degli Studi di L'Aquila

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

    Membro
    Dipartimento di Informatica, Università degli Studi di L'Aquila

 

Esperienza di Sviluppo Software

 
  • 01/2010 - 12/2020
    UPMurphi

    Planner per sistemi ibridi
    https://github.com/gdellapenna/UPMurphi
    Università degli Studi di L'Aquila

  • 10/2013 - 10/2018
    Didattica DISIM

    Portale didattico per i corsi di laurea afferenti al DISIM
    Università degli Studi di L'Aquila

  • 01/2005 - 10/2013
    Informatica@AQ

    Portale didattico del Corso di Laurea in Informatica
    Università degli Studi di L'Aquila

  • 01/2002 - 12/2004
    CMurphi

    Verificatore software
    http://people.disim.univaq.it/dellapenna/murphi/cmurphi.php
    Università degli Studi di L'Aquila