Leonardo Montecchi

Assistant Professor at Institute of Computing of UNICAMP
Laboratory for Software Engineering and Reliability (LASER)

leonardo@ic.unicamp.br

Research Topics

Research projects at different levels are available (Master, PhD, and Undergraduate). All the topics are related to some aspect of safety-critical or mission-critical systems, including design, evaluation, and certification. The main research directions are listed below, and most of them are developed in the context of national or international research projects.

  • 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).

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 full publications list to have an idea of the kind of topics I am interested in.

© 2017-2019 Leonardo Montecchi