Employment
Consultant
since 01/2019INNOQ
Research Assistant & Teaching Assistant
08/2013–11/2018Technische Universität München, Chair for Logic and Verification
Research Internship
08/2015–09/2015École polytechnique fédérale de Lausanne, Lab for Automated Reasoning and Analysis
Student Teaching Assistant
05/2011–10/2011, 05/2012–03/2013Technische Universität München
Student Teaching Assistant
10/2010–12/2010Queen's University Belfast
Student Research Assistant
11/2009–07/2010, 12/2011–03/2012Technische Universität München
Software Engineer
2007–2013Consultant
Technologies: PHP, Java, Java EE, Scala, MySQL, Play FrameworkEducation
PhD Student
2013–2018Technische Universität München, Chair for Logic and Verification
Thesis Title: Verified Code Generation from Isabelle/HOL (submitted)Master of Science in Informatics
2012–2013Technische Universität München
Erasmus Exchange Semester
09/2010–01/2011Queen's University Belfast
Bachelor of Science in Informatics
2008–2012Technische Universität München
Select Publications
A Verified Compiler from Isabelle/HOL to CakeML
Lars Hupel 
Tobias Nipkow
European Symposium on Programming (ESOP, Open Access), 2018
The final publication is available at Springer Link.
Verified iptables Firewall Analysis and Verification
Cornelius Diekmann
Lars Hupel
Maximilian Haslbeck
Georg Carle
Journal of Automated Reasoning (Open Access), 2018
The final publication is available at Springer Link.
Translating Scala Programs to Isabelle/HOL
Lars Hupel
International Joint Conference on Automated Reasoning (IJCAR), 2016
The final publication is available at Springer Link.
Skills
Functional & Logic Programming
Scala (expert), Isabelle, Prolog, Haskell (advanced), OCaml (beginner)
Imperative Programming
Java, C++11, Python (advanced)
Language Ecosystems
Typelevel (cofounder)
IT Operations
Linux administration, LXC, Ansible (advanced)
Software Tooling
Jenkins setup & operations (advanced)
Planning
Open source maintenance, Conference organisation
Languages
German (native), English (fluent), French (basic)