Philipp Schroer

Email
phisch at cs.rwth-aachen.de
Address
Room 4230
Ahornstra├če 55
D-52074 Aachen
Phone
+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.

Publications