Academic

• Degree: Doctor rerum naturalium
  • Year: 2019
  • University: TU Dortmund, Germany
  • Department: Computer Science
  • Thesis Title: Algorithmic Aspects of Type-based Program Synthesis
  • Grade: Ausgezeichnet (summa cum laude)
• Degree: Master of Science
  • Year: 2013
  • University: TU Dortmund, Germany
  • Primary Subject: Computer Science
  • Secondary Subject: Mathematics
  • Average Grade: 1.1 (with honors)
• Degree: Bachelor of Science
  • Year: 2011
  • University: TU Dortmund, Germany
  • Primary Subject: Computer Science
  • Secondary Subject: Mathematics
  • Average Grade: 1.1
• Degree: Abitur
  • Year: 2008
  • School: Lise-Meitner Gymnasium Leverkusen, Germany
  • Primary Subjects: Mathematics, Physics
  • Secondary Subjects: English, Geography
  • Average Grade: 1.1

Employment

• 10/2013 - 12/2013: Research Assistant, LS6, TU Dortmund, Germany
• from 01/2014: Research Assistant, LS14, TU Dortmund, Germany

Miscellaneous

• Graduation Award (2014, TU Dortmund)
• Scholarship (2010 - 2013, Studienstiftung des Deutschen Volkes)
• Pupil Academy for Mathematics and Computer Science (2007, Münster)
• Language Skills: German, Russian, English, Latin (Latinum, Basics)
• Computer Language Skills: C, C++, C#, F#, Java, Scala, Haskell, Python, Coq