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
- 10/2024 - oggi
Corsi di Laurea e Laurea Magistrale in Informatica
Presidente
Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Università degli Studi di L'Aquila - 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