- jip.spel at cs.rwth-aachen.de
- Address
- Room 4231
Ahornstraße 55
D-52074 Aachen
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:
- Advanced Topics in Formal Semantics (Seminar)
- Formal Verification Meets Machine Learning (Seminar)
Past teaching activities:
- Semantics and Verification of Software (SS21)
- Model Checking (WS20/21)
- Algorithmen und Datenstrukturen (Proseminar) (WS20/21)
- Datenstrukturen und Algorithmen (SS20)
- Introduction to Program Analysis (Proseminar) (SS20)
- Formal Semantics of Programming Languages (Proseminar) (WS19/20)
- Introduction to Program Analysis (Proseminar) (SS19)
- Algorithms and Data Structures (Proseminar) (WS18/19)
- Modeling and Verification of Probabilistic Systems (WS18/19)
Warning: SQLite3::prepare(): Unable to prepare statement: 5, database is locked in /var/www/html/inc/sqlite-access.php on line 428
Fatal error: Uncaught SQLiteAccessException: Could not prepare statement: REPLACE INTO publications (pub_id, type_id, title, year, pages, publisher, institution, arxiv_id, doi_id, fulltext) VALUES (:pub_id, :type_id, :title, :year, :pages, :publisher, :institution, :arxiv_id, :doi_id, :fulltext); in /var/www/html/inc/sqlite-access.php:433 Stack trace: #0 /var/www/html/inc/sqlite-access.php(64): dbAccess->prepare('REPLACE INTO pu...') #1 /var/www/html/inc/sqlite-access.php(45): dbAccess->prepareStmts() #2 /var/www/html/index.php(73): dbAccess->__construct('/var/www/html/d...', 1) #3 {main} thrown in /var/www/html/inc/sqlite-access.php on line 433