
Previously, Lars was a PhD student at TU München in the field of logic and verification. Their research focus was on techniques for verified code generation from theorem provers.
Contact
Pronouns: they/them, er (German only)
Contact email: lars@hupel.info
Stay up-to-date by subscribing to my Atom feed.
It includes all items that I publish here and elsewhere.
Profiles
- 💻 GitHub
- 🎓 Google Scholar
- 🐘 Mastodon
- 🎙️ Speaker Deck
Standing invitation
Inspired by Patrick McKenzie, I am offering a standing invitation: If you want to talk research or software, I want to talk to you. For details, check this page.Upcoming talks
- Lambda Days, Krakow, Poland
- TCS Seminar, Amsterdam, Netherlands (contact me!)
- GOTO Amsterdam, Amsterdam, Netherlands
Flight status
Total CO₂ caused by flights: 83 tonnesOffset so far: 83 tonnes
Cookies
This page does not store cookies (see here for details). But I know that a lot of my visitors really like cookies. This is why I put a cookie here: 🍪Feel free to use it however you like.
For your convenience, you can even click this button to copy a cookie to your clipboard: