If you are interested in writing your BSc or MSc thesis in the MOVES group, please contact Prof. Dr. Joost-Pieter Katoen, Prof. Dr. Thomas Noll, or send a general request to thesis at i2.informatik.rwth-aachen.de (kindly include your transcript of records).
Award Winning Theses
| Student | Topic | Award | Supervisor |
|---|---|---|---|
| Tom Biskup | Invariant-based Strategy Synthesis for Nondeterministic Probabilistic Programs | Berthold Vöcking Master Award (2023) | Kevin Batz Tobias Winkler |
| Marvin Jansen | Decidability and Complexity of Entailment Checking in Quantitative Separation Logic | Preis der Fachgruppe Informatik der RWTH für eine herausragende Masterarbeit (2021) | Kevin Batz |
| Christina Gehnen | Automata-based Model Checking of Recursive Systems | Preis der Fachgruppe Informatik der RWTH für eine herausragende Bachelorarbeit (2021) | Tobias Winkler |
| Jan Svejda | Interpretation-Based Violation Witness Validator. Master’s Thesis. | DSA Industrial Award (2020) | Jana Berger |
| Florian Keßler | On the Decidability of Entailment Checking in Quantitative Separation Logics. Bachelor’s Thesis. | Preis der Fachgruppe Informatik der RWTH Aachen für die beste Bachelorarbeit (2020) | Thomas Noll |
| Lea Hiendl | Human-readable Scheduler Representation for Markov Decision Processes | Berthold Vöcking Master Award (2018) | Tim Quatmann |
| Clara Scherbaum | Probability Generating Function Semantics for Probabilistic Programs. Bachelor’s Thesis. | itestra innovation Award (2016) | Benjamin Kaminski |
| Sebastian Junges | Simplifying Dynamic Fault Trees by Graph Rewriting. Master’s Thesis. | Preis des Fakultätentags Informatik für die beste Masterarbeit (2015) Preis der Fachgruppe Informatik der RWTH Aachen für die beste Masterarbeit (2015) | Joost-Pieter Katoen |
| Sergey Sazonov | Property Preservation under Bisimulations on Markov Automata. Master’s Thesis. | Preis der Fachgruppe Informatik der RWTH Aachen für die beste Masterarbeit (2014) | Joost-Pieter Katoen |
| Jens Katelaan | Type Theory, Certified Programming and Compiler Verification. Bachelor’s Thesis. | Schönebornpreis (2013) | Thomas Noll |
| Falak Sher | Compositional Abstraction for Probabilistic Automata. Master’s Thesis. | Microsoft Innovation Award (2010) | Joost-Pieter Katoen |
Past Projects
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