Self Managing Situated Computing

ERC Advanced Investigator Grant N. 227977 [2008-2013] - PI Professor Carlo Ghezzi

Pradella, Matteo

Personal Information:

Position: Pradella, Matteo
Phone or fax: +39 0223993495
Description:

 un pradella

MATTEO PRADELLA is a researcher at the IEIIT (Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni) of the Italian National Research Council (CNR) since December 2001. He received his Ph.D. in January 2001 from Politecnico di Milano. In 2000, 2001, and 2002 he was first visiting Ph.D. student, then visiting reasearcher at the Software Engineering group (code 5546) of the Naval Research Laboratory, Washington, DC.  His research interests are mainly in formal languages and automata theory, picture languages, and formal methods for safety-critical and real time systems.

Publications