Lars Hupel's homepage

Profile picture Lars is a consultant with INNOQ in Munich, Germany. They are interested in programming languages – especially the functional variety –, web development, and theoretical computer science. They write articles and talk about a multitude of topics. Previously, they were 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

📰 I have recently added an Atom feed to this page. It includes all items that I publish here and elsewhere.

Profiles

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.

Flight status

Total CO₂ caused by flights: 74 tonnes
Offset so far: 66 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: