Leonardo Lima

PhD fellow

Department of Computer Science
University of Copenhagen
Sigurdsgade, 41
2200 Copenhagen N, Denmark
Office 2.15
Leonardo Lima's photo

Hi! I am a PhD student in Computer Science at the University of Copenhagen, under the supervision of Dmitriy Traytel. I am part of the Software, Data, People & Society section of the Department of Computer Science. I am interested in building reliable systems. Hence, I do (research in) formal methods. I started my research endeavours in the areas of proof theory and interactive theorem proving. Nowadays I spend most of my time doing research in runtime verification and writing OCaml. I am particularly interested in the development of explainable runtime monitoring tools.

I am the main developer of WhyMon.

contact – {firstName}@di.ku.dk | hi@nameless.{youKnowIt}
links – dblp | github | pgp key

News

Tools

Publications

©2024 by Leonardo Lima S[2021, ∞)