Leonardo Lima

Leonardo Lima is a PhD Fellow at the Department of Computer Science, University of Copenhagen, affiliated with the Software, Data, People & Society section. His work focuses on explainable runtime monitoring, formal verification, and temporal logic applications in software systems.

• Current affiliations: Department of Computer Science, Faculty of Science, University of Copenhagen.
• Research areas: Formal methods, explainable AI, runtime monitoring, metric temporal logic, data-driven systems.

His recent publications emphasize explainability in runtime monitoring and formal verification tools for temporal logic. Collaborations include researchers from academia and industry, with a focus on software verification and data management. His work addresses real-time enforcement, online monitoring, and the development of tools like WHYMON to enhance system transparency. Publications span conferences like ATVA, TACAS, and CAV, with applications in software engineering and interdisciplinary contexts.