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
Dr. rer. nat.
2013–2019Technische Universität München, Chair for Logic and Verification
Thesis Title: Verified Code Generation from Isabelle/HOLMaster 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
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)