| 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
- Winter 19/20: tutorial (co-)supervisor for Functional Programming and Verification