Personal Data

  • Name
    Giuseppe Della Penna

Full contact information is available in section Contact

Education

Employments

  • 4/2019- Today
    Associate Professor at the Department of Information Engineering, Computer Science and Mathematics, University of L'Aquila
  • 7/2012- 3/2019
    Assistant professor at the Department of Information Engineering, Computer Science and Mathematics, University of L'Aquila
  • 12/2011- 1/2014
    Board member of the IT consulting company Beep Innovation s.r.l.
  • 12/2004- Today
    Founding partner of the IT consulting company Beep Innovation s.r.l.
  • 9/2002- 7/2012
    Assistant professor at the Computer Science Department, University of L'Aquila

Research Interests

  • 2018- Today
    Cyber Security
    Currently works on the development of malware detection techniques, in particular for botnets, assisted by machine learning algorithms.
    Keywords: Malware detection, botnet, Machine learning
  • 2009- Today
    Knowledge Engineering
    Currently works on the development of an innovative formalism for the qualitative description of spatial knowledge and on an information extraction system for heterogeneous sources that integrates known extraction techniques based on the information structure with a methodology that makes use of the visual appearance of the information. Also worked on lightweight formalisms for the description of software systems dynamics and use cases.
  • 2008- 2016
    Planning and Control
    Currently works on the application of model checking techniques to planning and control problems. In the control field, he has developed algorithms for the generation of robust numerical controllers for high complexity systems, including hybrid and nonlinear systems. The same approach was then used in the planning field: in this case, algorithms based on model checking techniques have been adapted to work on the universal planning of nonlinear hybrid systems and, more recently, on the cost-optimal strong planning. These algorithms have been experimentally proved to be very scalable, and are able to handle dynamics and problems of size and complexity that are out of range for most of the current state-of-the-art planners.
    Keywords: Optimal controller generation through model checking techniques, Universal planning through model checking, Planning and control for discrete-time hybrid systems, Strong planning
  • 2004- 2016
    XML Technologies
    Works on several different technologies in the XML ecosystem: in this field, he developed a mapping methodology to interface legacy databases with XML data exploiting XML Schemas and a technique for the automatic verification (through model checking) of XSLT transformations.
    Keywords: XML, XML and RDMS mapping
  • 2000- 2008
    Model Checking
    Was formerly a member of a team working on new model checking algorithms exploiting probabilistic properties of transition graphs and intelligent use of secondary memory storage. He developed and maintained these algorithms in the well known model checker Murphi from Stanford University.
    Keywords: State Space Caching Techniques, Hybrid systems model checking, Stochastic Systems model checking, Fuzzy Control Systems Model Checking
  • 1998- 2000
    Programming Languages
    Formerly worked on object oriented languages, in particular on the development of an advanced type system to port Java-like static security checks to C++ code.

Altri ambiti di ricerca in cui è attualmente coinvolto comprendono linguaggi per la descrizione formale della dinamica dei sistemi software. Precedentemente si è anche occupato di linguaggi formali, studiando e implementando un'estensione delle espressioni regolari (le espressioni regolari sincronizzate) .

Nell'ambito di queste aree di ricerca, ho collaborato e collabora con ricercatori di numerosi atenei italiani, quali le Università 'La Sapienza' e 'Tor Vergata' di Roma e L'Università 'G. D'Annunzio' di Chieti-Pescara.

Research Projects

  • 2018- Today
    Collaboratore in project Cyber Trainer (POR FESR Abruzzo 2014-2020) , founded by Regione Abruzzo
  • 2018- Today
    Responsabile scientifico per il dipartimento DISIM in project Safe - Design sostenibile di sistemi di arredo intelligenti con funzione salva-vita durante eventi sismici , founded by PON 2014-2020
  • 2014- 2017
    Collaboratore in project LeonarDo 2.0.14 - Smart digital ecosystem for the Customer Experience Enhancement , founded by Ministero dello Sviluppo Economico
  • 2014- 2017
    Responsabile OR in project Original In Touch , founded by Ministero dello Sviluppo Economico
  • 2012- 2014
    Collaboratore e Membro della commissione selezionatrice idee di business in project RICOSTRUIRE - Trasferimento tecnologico e creazione di nuove imprese nell'ambito delle tecnologie ICT avanzate applicate allo sviluppo economico e territoriale post sisma , founded by Ministero dello Sviluppo Economico - Programma RIDITT Rete Italiana per la Diffusione dell'Innovazione e il Trasferimento Tecnologico alle imprese
  • 1999- 2001
    Membro unità di ricerca in project TOSCA - Theory of Concurrency, Higher Order Languages and Types
  • 1999- 2001
    Membro unità di ricerca in project Software Architecture and Languages to Coordinate Distributed Mobile Components

Other Scientific Activity

  • 10/2019
    program committee member
    7th Italian Workshop on Planning and Scheduling (IPS 2019)
  • 10/2019
    program committee member
    The 35th ACM Symposium on Applied Computing (SAC 2020) - KomIS track
  • 10/2017
    program committee member
    32nd AAAI Conference on Artificial Intelligence (AAAI-18)
  • 2/2017
    program committee member
    Student Abstract Program - 30th AAAI Conference on Artificial Intelligence (AAAI-16)
  • 8/2016
    program committee member
    22nd European Conference on Artificial Intelligence (ECAI 2016)
  • 7/2016
    program committee member
    25th International Joint Conference on Artificial Intelligence (IJCAI 2016)
  • 9/2015
    program committee member
    6th Italian Workshop on Planning and Scheduling (IPS 2015)
  • 6/2015
    program committee member
    Workshop on Model-Checking and Automated Planning (MOCHAP '15)
  • 9/2014
    program committee member
    Student Abstract Program - 29th AAAI Conference on Artificial Intelligence (AAAI-15)
  • 6/2014
    program committee member
    Workshop on Model Checking and Automated Planning (MOCHAP'14)
  • 12/2013
    program committee member
    5th Italian Workshop on Planning and Scheduling (IPS 2013)
  • 6/2011
    program committee member
    VVPS 2011 workshop (Verification and Validation of Planning and Scheduling Systems)
  • 10/2003
    organizing committee member
    CHARME 2003 conference (Advanced Research Working Conference on Correct Hardware Design and Verification Methods)

Reviewer for several international journals (e.g., Journal of Visual Languages and Computing, Journal of Systems and Software, Software Tools For Technology Transfer, Applied Soft Computing, Software: Practice and Experience, Information Sciences, International Journal on Software Engineering and Knowledge Engineering)

Teaching Experience

Supervising and Tutoring Experience

  • 2012- 2014
    Membro del collegio dei docenti del dottorato di ricerca in Ingegneria e Scienze dell'Informazione
  • 2006- 2012
    Membro del collegio dei docenti del dottorato di ricerca in Informatica ed Applicazioni

Advisor of the following Ph.D. students: Ivan Letteri, Daniele Magazzeni, Fabio Mercorio

Supervisor of 101 theses and 26 master theses.

Academic Activities

  • 7/2018- Today
    Coordinatore della commissione informatizzazione dei processi del Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica
  • 7/2018- Today
    Membro della commissione comunicazione e web del Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica
  • 6/2018- Today
    Membro della Giunta del Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica
  • 2/2018- Today
    Membro della Commissione consultiva di Ateneo per la transizione al digitale
  • 10/2014
    Membro della commissione giudicatrice delle prove di selezione per l'accesso ai corsi TFA II ciclo a.a. 2014/2015 per la classe A042
  • 2014- Today
    Membro del gruppo del riesame per il Corso di Laurea in Informatica
  • 2012- Today
    Incaricato dello sviluppo e della manutenzione del portale didattico del Dipartimento DISIM
  • 2010- Today
    Membro della commissione orientamento per il Corso di Laurea in Informatica
  • 2005- Today
    Membro della commissione pratiche studenti per il Corso di Laurea Magistrale in Informatica

Developed Software

  • 10/2013- Today
    Didattica DISIM - Progettazione, sviluppo e gestione del portale didattico per i corsi di laurea afferenti al DISIM
  • 2010- Today
    UPMurphi - Sviluppo del planner per sistemi ibridi UPMurphi
  • 2005
    COVerifica - Collaborazione presso i laboratori Siemens CNX di L'Aquila per lo sviluppo di sistemi di model checking e simulazione hardware/software
  • 2005- 10/2013
    Informatica@AQ - Progettazione, sviluppo e gestione del portale didattico del Corso di Laurea in Informatica
  • 2002- 2004
    CMurphi - Sviluppo del verificatore software CMurphi

Technical Skills

  • Programming
    • Deep knowledge of object-oriented programming techniques, with many years of experience in object-oriented application development and re-engineering
    • Deep knowledge of the C, C++ and Java programming languages
    • Many years of experience in Windows platform programming with Visual Basic and Visual C++
    • Good knowledge of datatase-related languages and formalisms, and of a wide range of specific DBMS like Interbase, MySQL, Postgres, Microsoft SQL Server
  • Web
    • Numerosi anni di esperienza nella realizzazione di siti web dinamici con PHP / Java / MySQL
    • Ottima conoscenza di HTML, CSS e JavaScript
    • Profonda conoscenza degli standard realizzativi web, con particolare riguardo all'accessibilità e all'usabilità.
  • Tecnologie XML
    • Profonda conoscenza delle tecnologie XML, quali XML Schema, XSLT, XSL-FO, DOM XML, XML Encryption
    • Ottima conoscenza di tutti i formalismi e delle tecnologie legate allo sviluppo di Servizi Web (WSDL, SOAP, XMLRPC, REST, UDDI, JAX-WS, ecc.)

Publications

A complete list of my publications is available in section Papers