ZAFFANELLA Prof. Enea

Enea Zaffanella (Laurea in Scienze dell'Informazione, Università di Pisa, 1993; Dottorato di Ricerca in Informatica, Università di Leeds, 2002) dal 2006 è Professore Associato presso l'Università degli Studi di Parma, inquadrato nel SSD INF/01 Informatica; dal 2002 al 2006 ha ricoperto il ruolo di Ricercatore Universitario presso la stessa sede. Da oltre un decennio svolge attività di ricerca nel campo dei metodi formali per i linguaggi di programmazione, con particolare riferimento ai settori dell'analisi statica di programmi e dell'interpretazione astratta. E' coautore di più di 30 pubblicazioni su riviste e atti di conferenze internazionali, oltre a varie comunicazioni a workshop internazionali e rapporti tecnici. Ha partecipato a diversi progetti di ricerca nazionali ed internazionali: ESPRIT Basic Research Action n. 6707 ('ParForce'); COFIN99 'Certificazione automatica di programmi mediante interpretazione astratta'; COFIN00 'Interpretazione astratta, sistemi di tipo e analisi Control-Flow'; COFIN01 'Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche'; COFIN02 'Verifica di sistemi reattivi basata su vincoli'; COFIN04 'Interpretazione astratta: progettazione ed applicazioni'; Azioni Integrate Italia-Spagna IT229 'Ambienti avanzati per lo sviluppo di programmi logici'. Collabora alla progettazione e sviluppo di software utilizzabile per scopi di analisi statica di programmi: China (http://www.cs.unipr.it/China/), un analizzatore statico altamente innovativo per programmi logici con vincoli; la Parma Polyhedra Library (PPL, http://www.cs.unipr.it/ppl/), una libreria C++ moderna, robusta ed efficiente per la manipolazione di vari domini numerici di interesse per l'analisi di programmi; PURRS (http://www.cs.unipr.it/purrs/), un progetto interdisciplinare per la soluzione o approssimazione automatica di relazioni di ricorrenza; CLAIR (http://www.cs.unipr.it/clair/), un prototipo di analizzatore per linguaggi imperativi.