About me

photo Since January 2026, I am working as a post-doc at the University of Copenhagen on the Copilots for Isabelle project funded by Renaissance Philantropy. In this project, we aim to improve the user experience and make Isabelle more accessible by using large language models and symbolic methods.

From October 2019 until October 2025, I was a doctoral candidate in Computer Science at the Chair for Logic and Verification supervised by Prof. Nipkow. There, my research interests were automated theorem proving and the integration of automated methods into the theorem prover Isabelle. More specifically, I was working on verifying proof-producing decision procedures for ground theories such as multi-level syllogistic (a fragment of set theory) and congruence closure.

Before starting as a doctoral candidate, I received my Bachelors and Masters in Computer Science at the Technical University of Munich. I was a tutor in Efficient Algorithms and Data Structures and a research assistant at the Chair for IT Security during my studies.

Pre-Prints

Conference Articles

Workshop Articles

Entries in the Archive of Formal Proofs (AFP)

Teaching

Contact

Name Lukas Stevens
E-mail {lukas.stevens} AT [in.tum.de]
ORCID iD 0000-0003-0222-6858
Office MI 00.09.061
Address Lukas Stevens
TUM LS21
Boltzmannstr. 3
85748 Garching
Germany