Lars Hupel

PhD student, Chair for Logic and Verification, Fakultät für Informatik, Technische Universität München


Technische Universität München
Boltzmannstraße 3, 85748 Garching

Office: MI 00.09.063
Office phone: +49 89 289-17328
Office hours: booking request

Email (click to reveal)

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.

Teaching (current semester)

Select Publications

Verified iptables Firewall Analysis and Verification

Cornelius Diekmann ORCID Lars Hupel ORCID Julius Michaelis Maximilian Haslbeck Georg Carle ORCID
Journal of Automated Reasoning (Open Access), 2018
The final publication is available at Springer Link.

Translating Scala Programs to Isabelle/HOL

Lars Hupel ORCID Viktor Kunčak
International Joint Conference on Automated Reasoning (IJCAR), 2016
The final publication is available at Springer Link.