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

Research Interests

• Abstract Interpretation
• Markov Decision Processes
• Programming