Leonardo Montecchi
Assistant Professor at Institute of Computing of UNICAMP
Laboratory for Software Engineering and Reliability (LASER)
Assistant Professor at Institute of Computing of UNICAMP
Laboratory for Software Engineering and Reliability (LASER)
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