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, by C. A. Furia, D. Mandrioli, A. Morzenti, M. Rossi, available from Springer.
Handbook of Research on Embedded Systems Design, edited by A. Bagnato, I. R. Quadri, M. Rossi, L. Soares Indrusiak, available from IGI Global.
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,
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:
- sorted by year
- sorted by type (including technical reports)