ERC Advanced Investigator Grant N. 227977 [2008-2013] - PI Professor Carlo Ghezzi
Personal Information: | |||
|---|---|---|---|
| Position: |
|
||
| Phone or fax: | +39 0223993495 | ||
| Description: | |||
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 | |||
|
|||