About me

photo

Since October 2019, I am a doctoral candidate in Computer Science at the Chair for Logic and Verification supervised by Prof. Nipkow. My interests are automated theorem proving and the integration of automated methods into the theorem prover Isabelle.

Before starting as a doctoral candidate, I did 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 student worker at the Chair for IT Security during my studies.

Conference Articles

Teaching

Contact

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