Jip Spel

photo-spel

Email
jip.spel at cs.rwth-aachen.de
Address
Room 4207
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21202

Research

I am a PhD student in the Research Training Group UnRAVeL at the Software Modeling and Verification Group (MOVES) since July 2018. My research interests include model checking of parametric probabilistic systems and monotone properties of these systems.

Bachelor/Master Theses

I am always looking forward to work with students. If you are looking for a thesis in one of the areas above, do not hesitate to contact me. Some ideas are also given in our list of open topics.

Teaching

I am currently involved in the following teaching activities:

Past teaching activities: