Domenico PARENTE | Curriculum
Domenico PARENTE Curriculum
Domenico Parente (a.k.a. Mimmo) was born in Salerno on 19/12/1961.
Since 1/1/2005 he has been Full Professor of Computer Science INF01), Dipartimento di Ingegneria dell'Informazione ed Elettrica e Matematica Applicata (DIEM) , Università di Salerno.
He is involved in the research networking program Games, of the European Science Foundation (ESF).
He leads the laboratory of Metodi per la Verifica Automatica di Sistemi, at the University of Salerno where a model-checking tool has been developed for formulas expressed in graded-CTL language.
He is a member of the international associations
European Association for Theoretical Computer Science (EATCS), Association for Computing Machinery (ACM),Institute of Electrical and Electronics Engineers (IEEE) and of theItalian Association for Logic Programming (GULP) and of Gruppo Nazionale per il Calcolo Scientifico (GNCS). He is also a member of the Italian Group of Logic in Computer Science and of the Algorithmic Game Theory and Micro Economics group (AGATE). He has been a co-founder of the Symposium Internazionale on Games, Automata, Logics and Formal Verification,GandALF. He has taught many courses, (laurea degree, master and PhD level) in various computer science areas, and among these: Programming Languages, Computer Science Foundations, Computer Networks, Operating Systems, Web Technologies, Automatic System Verification, Advanced Programming.
Research Activity: His recent research activity is mainly in formal methods for the automatic system design and in game theory. Other interests lie in Planning within Artificial Intelligence and in the design and analysis of algorithms.