Matteo Rossi
Dipartimento di Elettronica ed
Informazione
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: rossi@elet.polimi.it
Research Interests
Publications
Teaching (in Italian)
Available Theses
Curriculum Vitae (in Italian and in English)
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).
Student teams (including class project teams) can enter the Student Contest in Software Engineering in 2010 to be eligible for final selection at ICSE 2011 in Hawaii.
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:
- Modeling and design of complex critical systems.
- Analysis techniques for real-time systems.
- Investigation of formal properties of modeling languages.
- Application of formal verification techniques to industrial systems.
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).
User-Friendly Formal Methods (for Time-Critical Systems)
Publications
- sorted by year
- sorted by type (including technical reports)
Algoritmi e Principi dell'Informatica
(Cremona, I semestre 3º anno laurea di primo livello in Ingegneria Informatica)
Ingegneria del Software (per l'Automazione)
(II semestre laurea magistrale Ingegneria dell'Automazione)
Principi di Informatica per l'Automazione
(II semestre 1º anno laurea specialistica in Ingegneria dell'Automazione)
Sono disponibili tesi e tesine (soprattutto di laurea specialistica) sia nell'ambito "User-Friendly Formal Methods (for Time-Critical Systems)" che su altri argomenti di ricerca (contattatemi per ulteriori informazioni).
Qui e qui, per esempio, trovate alcuni argomenti di tesi nell'ambito della progettazione di sistemi autonomici e della analisi delle loro proprietà di security.
