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

Research Interests

  • Abstract Interpretation
  • Markov Decision Processes
  • Programming

If you have any questions, feel free to come by, my door is usually open ;-)

Contact

Address: Campus Saarbr├╝cken, 66123 Saarbr├╝cken
Phone: +49 681 302 64092
Location: Bldg. E1 3, Room 534
E-mail: fox@depend.uni-saarland.de