- phisch at cs.rwth-aachen.de
- Room 4230
- +49 241 80 21222
I am a PhD student in the Software Modeling and Verification Group headed by Professor J.-P. Katoen.
Research. My research interests include probabilistic programs and their automated verification. At the moment, I am working on a deductive verification infrastructure and intermediate verification language for probabilistic programs. If you’re interested (as a student or researcher), please reach out to me!
Communication. I speak German and English. Please call me Philipp and address me as “Du” in German. 🙂 If I don’t respond to your email within two days, don’t hesitate to send a follow-up email.