Jump label

Service navigation

Main navigation

You are here:

Sub navigation

  • Staff pages+

Main content

Biography - Dr. Andrej Dudenhefner

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


Sub content

M. Sc. Andrej Dudenhefner

Information

Cooperation

TULogo