Benvenuti nella mia homepage! Mi chiamo Giuseppe Della Penna (come avrete intuito dall’intestazione della pagina…), sono un dottore di ricerca in Informatica e lavoro come Professore Associato nel Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica (DISIM) dell’Università degli Studi dell’Aquila.
I miei principali interessi di ricerca riguardano i metodi formali applicati a vari contesti come i linguaggi formali, la verifica del software (model checking), la pianificazione e la knowledge engineering. Dal menu è possibile accedere all’elenco completo delle mie pubblicazioni e leggere informazioni dettagliate sulla mia corrente attività di ricerca.
La mia attuale attività didattica comprende i corsi Web Engineering, Sviluppo Web Avanzato e Laboratorio di Basi di Dati. Gli studenti possono utilizzare il menu didattica per accedere alle pagine dei corsi e a tutto il relativo materiale didattico. Sono anche il tutor degli studenti del Corso di Laurea Magistrale in Informatica e gestisco tutte le problematiche riguardanti il loro piano di studi.
Infine, sono relatore di diverse tesi di laurea in informatica. Gli studenti possono visitare la pagina tesi per sapere se c’è qualche tesi disponibile che risponde ai loro interessi (attualmente ci sono 1 proposte di tesi non assegnate), oppure consultare la pagina delle tesi attualmente assegnate e completate.
Gli altri miei interessi includono… ovviamente l’informatica! Potete dare un’occhiata sulla mia pagina GitHub ai miei attuali progetti di sviluppo.