Leonardo Montecchi

Research Topics

Research projects at different levels (Master, PhD, Undergraduate) are available. Most of the topics are related to some aspect of critical systems, e.g., design, evaluation, certification. The main active research directions are listed below. Please contact me for further information or to discuss other possible topics, I am always open to interesting proposals. You may also want to take a look at my publications to understand the kind of work I am interested in.

• Prediction of performance and dependability metrics on complex systems, using stochastic models (e.g., see this, this, or this).

• Application to software engineering concepts to formal models, e.g., interfaces, reuse, modularity (e.g., see this or this).

• Automated generation of V&V artifacts form structured models (e.g., see this, this, or this).

• Generative software architectures for the robotics domain (e.g., see this).

• Verification and certification of machine learning algorithms.

• Definition of domain-specific languages and conceptual models (e.g., see this, this, or this).

• Safety analysis of industrial plants (e.g., see this or this).

Most of these activities will be developed in the context of national or international research projects.