Philipp Schroer

phisch at
Room 4230
Ahornstraße 55
D-52074 Aachen
+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.


Show all