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

Dr. rer. nat.
2013–2019

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

Thesis Title: Verified Code Generation from Isabelle/HOL
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

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)