Domenico PARENTE | Curriculum

Domenico Parente (detto Mimmo) è nato a Salerno il 19/12/1961.Dal 2005 è professore ordinario di Informatica (INF01), attualmente è presso il Dipartimento di Ingegneria dell'Informazione ed Elettrica e Matematica Applicata (DIEM) dell'Universitàdi Salerno. È coinvolto nel networking program Games, dell'European Science Foundation (ESF). Conduce il laboratorio di Metodi per la Verifica Automatica di Sistemi, all'Università di Salerno dove è stato sviluppato un tool di model-checking per specifiche espresse in graded-CTL. È membro delle associazioni internazionali European Association for Theoretical Computer Science (EATCS), Association for Computing Machinery (ACM),Institute of Electrical and Electronics Engineers (IEEE) e dell'Italian Association for Logic Programming (GULP) e del Gruppo Nazionale per il Calcolo Scientifico (GNCS). È anche membro nell'Italian Group of Logic in Computer Science e dell'Algorithmic Game Theory and Micro Economics group (AGATE). È stato fondatore del Symposium Internazionale on Games, Automata, Logics and Formal Verification, GandALF. Attività di insegnamento: ha insegnato diversi corsi, a livelli differenti (laurea triennale, magistrale e dottorato) ed in varie aree dell'informatica, tra cui: Linguaggi di Programmazione, Fondamenti di Informatica, Reti di Calcolatori, Sistemi Operativi. Tecnologie di Sviluppo per il Web, Metodi per la Verifica Automatica di Sistemi, Programmazione Avanzata. Attività di ricerca: la sua recente attività di ricerca si svolge principalmente nel campo dei metodi formali per la verifica automatica di sistemi e nella teoria dei giochi. Altri suoi interessi sono in nell'area del planning in Intelligenza Artificiale, e nella progettazione ed analisi di algoritmi.