
Lars Hupel is a PhD student at TU München in the field of logic and verification. His research focus is on techniques for verified code generation from theorem provers. Additionally, he has worked on formal treatments of Linux firewalls. A frequent conference speaker and co-founder of the Typelevel initiative, he is active in the open source community, particularly in Scala. He also enjoys programming in Haskell, Prolog, and Rust.
Education
PhD Student
since 2013Technische Universität München, Chair for Logic and Verification
Thesis Working Title: Verification of Code Generators in IsabelleMaster 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
Work
Research Assistant & Teaching Assistant
since 2013Technische 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 FrameworkSelect Publications
A Verified Compiler from Isabelle/HOL to CakeML
European Symposium on Programming (ESOP, Open Access), 2018
The final publication is available at Springer Link.
Verified iptables Firewall Analysis and Verification
Journal of Automated Reasoning (Open Access), 2018
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)
Service
Scala Platform Process
since 2017Committee
Scala Center
since 2016Community Representative at the Scala Center Advisory Board
Scala Days
2018Programme Committee
Typelevel Summit Copenhagen
2017Programme Committee, Organisation
Typelevel Summit New York City
2017Programme Committee, Organisation
Scala Symposium
2017Programme Committee
Computer Aided Verification
2017Artifact Evaluation Committee
Typelevel Summit Oslo
2016Programme Committee, Organisation
Typelevel Summit Philadelphia
2016Programme Committee, Organisation
Scala Symposium
2016Programme Committee
Conference Talks
Translating Scala Programs to Isabelle/HOL
International Joint Conference on Automated Reasoning, 2016
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
Formal Methods, 2015
Typelevel Scala: What does it mean for the language, the ecosystem, the community, and you?
Scala.IO, 2014