I'm Lukas, a theoretical computer science researcher / PhD student at the TU Dresden (Germany), and used to be a (frontend) web-developer for 5 years while studying. I spend quite some time trying to improve my riding skills, playing drums as well as video-games and eating junkfood. To cope with that, I go to the gym zero to two times a week.
- Music: Metalcore, Djent, Nu Metal
- Bike: Ducati Panigale V2
- Addictions: Caffeine (as you would expect)
- Recently looking into: the LEAN theorem prover
- Links: Professional Homepage; Gitlab; Github; Mastodon