UnRAVeL Notice Board


UnRAVeL Brochure

UnRAVeL Broschure

We - UnRAVeLs - want to introduce ourselves!

This broschure lets you discover all of our research, everything that moves and shakes us, how we collaborate and how we embody our idea.


Former UnRAVeL members with professorship

Name University Chair
Assistant professor Dr. Sebastian Junges Radboud Universiteit Software Science Group
Prof. Dr. Benjamin Kaminski

Saarland University

Quantitative Verification Group
Prof. Dr. Laura Vargas-Koch University of Bonn Research Institute for Discrete Mathematics
Prof. Dr. Norman Weik Technical University of Munich Design and Operation of Public Rail Transport Systems

UnRAVeLs at the 50th Anniversary of Computer Science Celebration

*** DJ Katoen in Action ***

Hall of Fame

Name Price Year
Michael Schaub Michael Schaub being accepted to the Young College of the North Rhine-Westphalian Academy of Sciences and Arts 2022
Nils Nießen Nils Nießen in the VDI podcast "TECHNIK AUFS OHR": "Kapazitäten für die Mobilitätswende: Wie bekommen wir mehr auf die Schiene?" 2022
Joost-Pieter Katoen Paper "Approximate symbolic model checking of continuous-time Markov chains" is one of the most influential papers of the period 2022
Matthias Volk Matthias Volk receives the Manfred Nagl Prize for his dissertation 2022
LuFG i2 LuFG i2 wins the "Termination and Complexity Competition" at FLoC 2022 2022
Carologistics Seventh world championship title for Aachen-based Carologistics at the RoboCup 2022 Thailand in the Logistics League 2022
Joost-Pieter Katoen Congrats to Joost-Pieter Katoen as new member of the North Rhine-Westphalian Academy of Sciences, Humanities, and the Arts 2022
Martin Grohe Congratulation to UnRAVeL PI Martin Grohe for the ERC Advanced Grants 2022
Till Hofmann & Stefan Schupp Best Tool Paper Award for Till Hofmann and Stefan Schupp 2021
UnRAVeL A toast to UnRAVeL: Prolongation has been granded 2021
Benjamin Kaminski UnRAVel Alumnus Benjamin Kaminski now professor of theoretical computer Science at Saarland University 2021
Till Hofmann, Stefan Schupp Best Tool Paper Award at SEFM 2021

Marcel Hark

Doctorate with Distinction: Marcel Hark

Carologistics Team Carologistics gewinnt Ersten hybriden RoboCup Logistics League World Cup 2021 2021
Martin Comis Doctorate with Distinction: "Robust Primary Care Systems" 2021
UnRAVeL UnRAVeL in an article on RWTH Aachen University in the "Zeit" magazine 2021
STORM 2. place in the innovation award for STORM 2021
Anton Pirogov Completed doctorate: "Automata-Theoretic Techniques in Probabilistic Verification" 2021
Joost-Pieter Katoen Joost-Pieter Katoen as new member of the Royal Holland Society of Sciences and Humanities 2021
Joost-Pieter Katoen Joost-Pieter Katoen as ACM Fellow 2021
Benjamin Kaminski The Ackermann Award 2020 2020
Laura Vargas Koch Doctorate with Distinction: "Competitive variants of discrete and continuous flows over time" 2020
Norman Weik & Matthias Volk 3rd Place TRA VISIONS 2020 Young Researcher Competition 2020
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen and Peter Lindner Accepted Paper "Generative Datalog with Continuous Distributions" by PODS 2020 2020
Norman Weik Doctorate with Distinction: "Long-Term Capacity Planning of Railway Infrastructure - A Stochastic Approach Capturing Infrastructure Unavailability" 2020
Christina Roeckerath, Nicole Faber, Christina Büsing, Benjamin Stamm, Manuel Torrilhon & Sebastian Walcher RWTH-Lehrpreis 2019 for CAMMP 2020
Sebastian Junges Doctorate with Distinction: "Parameter Synthesis in Markov Models" 2020
Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl & Joost-Pieter Katoen Accepted Paper „Aiming Low Is Harder – Induction for Lower Bounds in Probabilistic Program Verification“ at the 47th ACM SIGPLAN Symposium on Principles of Programming Languages 2019
Stefan Schupp Doctorate with Distinction: "State Set Representations for Hybrid Systems Reachability Analysis" 2019
Matthias Volk, Norman Weik, Joost-Pieter Katoen & Nils Nießen Best Paper Award: “A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas” at the 24th International Conference on Formal Methods for Industrial-Critical Systems 2019
Carologistics Team World title in the Robocup Logistics League in Sydney 2019
Christof Löding & Anton Pirogov Best Paper Award: "Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp" at the 46th International Colloquium on Automata, Languages and Programming 2019
Christina Büsing RWTH Prize for Family-Friendly Management 2019
Christina Büsing RWTH Teaching Award 2018 2019
Laura Vargas Koch Silver at the Judo Grand Prix in Tiflis 2019
Martin Comis Pubished Paper : "The Synthesis Problem of Decentralized Energy Systems is strongly NP-hard" 2019
Benjamin Kaminski Doctorate with Distinction: "Advanced Weakest Precondition Calculi for Probabilistic Programs" 2019
Martin Ritzert Published Paper : "Learning definable hypotheses on trees" 2018
Martin Ritzert Published Paper :Weisfeiler and Leman GoNeural: Higher order Graph Neural Networks 2018
Norman Weik & Nils Nießen Best Student Paper Award: "Performability Analysis of Railway Systems" at the 2018 IEEE International Conference on Intelligent Rail Transportation 2018
Laura Vargas Koch Published Paper : "Nash Flows over Time with Spillback" 2018
Martin Grohe & Peter Lindner Published Paper: "Probabilistic Databases with an Infinite Open-World Assumption" in PODS 2019 2018
Anton Pirogov FTI-Preis for master thesis "SMT-based Flat Model-Checking for LTL with Counting" 2018
LuFG Theory of Hybrid Systems First place in the Main Track in the division QF_NIRA in the 13th International Satisfiability Modulo Theories Competition 2018 2018
Caro SMT Team First place in the Planning and Execution Competition for Logistics Robots in Simulation 2018
LuFG Programming Languages and Verification All 3 medals of the annual „Termination and Complexity Competition“ 2018
Faried Abu Zaid, Dietrich Kuske & Peter Lindner Accepted Paper: "Climbing up the elementary complexity classes with theories of automatic structures" 2018
Benjamin Kaminski, Christoph Matheja, Maurice van Keulen & Joost-Pieter Katoen Accepted Paper: "Rule-based Conditioning of Probabilistic Data Integration and NLP Results" 2018
Benjamin Kaminski, Joost-Pieter Katoen & Christoph Matheja Accepted Paper: "On the hardness of analyzing probabilistic programs" 2018
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen & Christoph Matheja Accepted Paper: "How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times" 2018
Stephan Zieger, Norman Weik & Nils Nießen Accepted Paper: "The impact of buffer time distributions on the nominal capacity of railway lines" 2018
Christof Löding, Anton Pirogov Accepted Paper: "On finitely ambiguous Büchi automata" 2018
Anton Pirogov & Christof Löding Accepted Paper: "On finitely ambiguous Büchi automata" at DLT 2018 2018
Carologistics Team Defended championship title at the German Open 2018
Laura Vargas Koch and Björn Tauer Published Paper: "Competitive Packet Routing with Priority Lists" 2018
Joost-Pieter Katoen ERC Advanced Grant 2018
Stefan Wüller Doctorate with Distinction: "Privacy-Preserving Electronic Bartering" 2018
Erich Grädel Award of the best self-consistent teaching 2017
Janosch Fuchs Award of the best supporting teaching 2017
Sebastian Junges ICT Young Researcher Award 2017
Norman Weik 2nd prize IAROR Young Railway Operations Research Award 2017 2017
Norman Weik 2nd best paper at the 7th International Conference on Railway Operations Modelling and Analysis, RaiLille 2017 - „A quasi-birth-and-death process approach for integrated capacity and reliability modeling of railway systems with fallible infrastructure components“ 2017

UnRAVeL Room

Entrance Copyright: © UnRAVeL

The UnRAVeL room is located in the E1 building (ground floor) opposite to the CS library, room number 4025a.

The room is meant as a meeting place for all PhD students and PIs within the RTG to meet, discuss, work, reading groups, and so forth.



For any room reservations check the calender.