A picture of me
Matteo Rossi

Dipartimento di Elettronica Informazione e Bioingegneria
Politecnico di Milano
via Golgi, 42
20133, Milan, Italy

Phone: +39 02 23 99 35 61
Fax:     +39 02 23 99 35 74

e-mail: matteo.rossi@polimi.it

Research Interests
Teaching (in Italian)

Hi, and very very welcome to my (one and only, as two would definitely be too much) home page!

Even though you will not see any "work in progress" icon on this page, be aware that, by default, everything here is a work-in-progress.
This page will be, at best, up-to-date, but don't sue me if it isn't.

Anyway, I am an assistant professor at Politecnico di Milano (with a Ph.D. in Computer Science and Automatica also from Politecnico di Milano).
My research interests are mostly in the area of formal methods for industrial safety-critical systems (see below).

Modeling Time in Computing Book Modeling Time in Computing, by C. A. Furia, D. Mandrioli, A. Morzenti, M. Rossi, available from Springer.

Handbook of Research on Embedded Systems Design Handbook of Research on Embedded Systems Design, edited by A. Bagnato, I. R. Quadri, M. Rossi, L. Soares Indrusiak, available from IGI Global.

Research Interests

My research activity is mostly carried out in the field of the design, modeling and analysis of complex safety-critical systems through formal techniques (in particular those based on temporal logic, especially TRIO-based).
Safety-critical systems are often real-time distributed applications with strict constraints (e.g. avionic, industrial control, embedded systems), and their development can benefit from the use of rigorous methods in the specification, design, and verification phases.
My research activity focuses on the investigation of formal (i.e. based on sound mathematical concepts) techniques and tools supporting the development of real-time, safety-critical, industrial applications. More precisely, it follows the following four main directions:

I do also enjoy, every once in a while, meddling in security issues (most notably Intrusion Detection Systems). Finally, I dabbled for a while in problems of orbit control for small spacecraft (it was a Ph.D. in Computer Science AND Automatica, after all...).
A list of my publications can be found here (by year) and here (by type) (the one by type includes also technical reports).

- sorted by year
- sorted by type (including technical reports)

Teaching (both in Italian and English)

Algoritmi e Principi dell'Informatica (Cremona, I semestre 3º anno laurea di primo livello in Ingegneria Informatica)
Software Engineering (for Automation) (II semester, Laurea Magistrale in Automation and Control Engineering)