Education

  • Graduate School of Saarland University
    Saarbrücken, Germany
    13.02.2012 - present
    • Working with Prof. Dr. Gert Smolka and Prof. Dr. Sebastian Hack on verification of efficient compilers for imperative, C-like languages.
  • Graduate School of Saarland University
    Saarbrücken, Germany
    August 2010 - 2012
    • Preparatory phase with coursework.
  • University of Washington
    Seattle, Washington, USA
    October 2009 - June 2010
    • Working with Prof. Michael Ernst on the system log analyzer Synoptic [1, 3].
  • Saarland University
    Saarbrücken, Germany
    October 2006 - September 2009
    • Graduated with Bachelor Degree
    • Bachelor Thesis on Terminating Tableaux for Modal Logic with Transitive Closure [5].
    • Working with Prof. Dr. Gert Smolka on decision procedures for modal logic [2, 4].

Internships

  • Google, V8 Team
    Munich, Germany
    November 2015 - Febuary 2016
    • Design and implementation of escape analysis in Turbofan.
  • Google, V8 Team
    Munich, Germany
    June 2014 - September 2014
    • Implementation of inlining in Turbofan.
  • INRIA - Rocquencourt
    Paris, Germany
    March 2015 - May 2016
    • Learning about CompCert and its optimization passes.