Isabelle logo

Lukas Stevens

Chair for Logic and Verification

Lukas Stevens
Name:Lukas Stevens
Email:<firstname.lastname>@tum.de
(German, English)
Office:MI 00.09.061 (by appointment)

About me

Since October 2019, I am a PhD student in Computer Science at the Chair for Logic and Verification supervised by Prof. Nipkow.

Teaching