UnRAVeL Pinnwand

 

UnRAVeL Broschüre

 
UnRAVeL Broschüre
 
 

Wir UnRAVeLs stellen uns vor!

In dieser Broschüre finden Sie alle unser Forschungsthemen, was uns antreibt und bewegt, wie wir zusammenarbeiten und unsere Idee leben.

 
 

Hall of Fame - Preise und Auszeichnungen

Name Preis Jahr
Marcel Hark Promotion mit Auszeichnung: Marcel Hark 2021
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 Abgeschlossene Promotion: "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
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
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
Benjamin Kaminski Doctorate with Distinction: "Advanced Weakest Precondition Calculi for Probabilistic Programs" 2019
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
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
Carologistics Team Defended championship title at the German Open 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 railwas systems with fallible infrastructure components“ 2017
 
 

Bildergalerie

   

UnRAVeL Raum

Eingangtuer Urheberrecht: © UnRAVeL

Der UnRAVeL-Raum befindet sich im Gebäudeteil E1 auf der ersten Etage gegenüber der Informatikbibliothek. Die Raumnummer ist 4025a.

Der Raum ist gedacht für alle UnRAVeL-Mitglieder für Diskussionen, zum Arbeiten, zum Lesen und als Rückzugsort.

 

Reservierung des Raumes

Die Verfügbarkeit und die Reservierung des Raumes erfolgt über den Kalender.