I am a PhD student at the chair since February 2017.
- Abstract Interpretation
- Markov Decision Processes
If you have any questions, feel free to come by, my door is usually open ;-)
|Address:||Campus Saarbrücken, 66123 Saarbrücken|
|Phone:||+49 681 302 64092|
|Location:||Bldg. E1 3, Room 534|