Resume

Employment

Consultant
since 01/2019

INNOQ

Research Assistant & Teaching Assistant
08/2013–11/2018

Technische 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/2013

Technische Universität München

Student Teaching Assistant
10/2010–12/2010

Queen's University Belfast

Student Research Assistant
11/2009–07/2010, 12/2011–03/2012

Technische Universität München

Software Engineer
2007–2013

Consultant

Technologies: PHP, Java, Java EE, Scala, MySQL, Play Framework

Education

PhD Student
2013–2018

Technische Universität München, Chair for Logic and Verification

Thesis Title: Verified Code Generation from Isabelle/HOL (submitted)
Master of Science in Informatics
2012–2013

Technische Universität München

Erasmus Exchange Semester
09/2010–01/2011

Queen's University Belfast

Bachelor of Science in Informatics
2008–2012

Technische Universität München

Select Publications

A Verified Compiler from Isabelle/HOL to CakeML

Lars Hupel ORCID Tobias Nipkow ORCID
European Symposium on Programming (ESOP, Open Access), 2018
The final publication is available at Springer Link.


Verified iptables Firewall Analysis and Verification

Cornelius Diekmann ORCID Lars Hupel ORCID Julius Michaelis Maximilian Haslbeck ORCID 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.


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)