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
- 2023 - current
VITALITY - Ecosistema Innovazione, Digitalizzazione e Sostenibilità per l’economia diffusa nel Centro Italia - SPOKE 1
Collaborator
- 2018 - 2021
Safe - Design sostenibile di sistemi di arredo intelligenti con funzione salva-vita durante eventi sismici
Scientific coordinator for 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
- 10/2024 - current
Bachelor and Master Degrees in Computer Science
Head
Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, University of L'Aquila - 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