I am a PhD student at the chair since February 2017.

Research Interests

  • Abstract Interpretation
  • Markov Decision Processes
  • Programming