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.

 
 

Ehemalige UnRAVeL Mitglieder mit Professur

Name Universität Lehrstuhl
Assistant professor Dr. Sebastian Junges Radboud Universiteit Software Science Group
Prof. Dr. Benjamin Kaminski Universität des Saarlandes Quantitative Verification Group
Prof. Dr. Laura Vargas-Koch Universität Bonn Forschungsinstitut für Diskrete Mathematik
Prof. Dr. Norman Weik Technische Universität München Planung und Betrieb von Schienenverkehrssystemen
 
 

UnRAVeLs bei der 50 Jahre Informatik Feier

Der digitale Herzschlag der RWTH Urheberrecht: © Martin Braun

Der digitale Herzschlag der RWTH

UnRAVeL mitten drin...

Der digitale Herzschlag der RWTH Urheberrecht: © Martin Braun

Der digitale Herzschlag der RWTH

UnRAVeL mitten drin...

Bild der Festschrift Urheberrecht: © Martin Braun

Festschrift zum Jubiläum

Rückblick, Ausblick – einfach lesenswert

UnRAVeL-Alumnus Marcel Hark auf der Messe Urheberrecht: © Martin Braun

UnRAVeL-Alumnus Marcel Hark auf der Messe

UnRAVeL-Alumnus Marcel Hark : 3MM Urheberrecht: © Martin Braun

UnRAVeL-Alumnus Marcel Hark : 3MM

UnRAVeL-Pi Gerhard Lakemeyer und gleichzeitig Sprecher der Fachgruppe Urheberrecht: © Martin Braun

UnRAVeL-Pi Gerhard Lakemeyer und gleichzeitig Sprecher der Fachgruppe

Begrüßung aller Gäste und offizielle Eröffnung der Feierlichkeiten

UnRAVeL-Almunus Matthias Volk erhält den Dissertationspreis Urheberrecht: © Martin Braun

UnRAVeL-Almunus Matthias Volk erhält den Dissertationspreis

Der Manfred-Nagl-Pries der Firma DSA ist der Preise für die beste Dissertation in der Informatik an der RWTH

Ehrendoktorwürde für Christel Baier und Ralf Steinmetz Urheberrecht: © Martin Braun

Ehrendoktorwürde für Christel Baier und Ralf Steinmetz

Herzlichen Glückwunsch an unsere akademische Freundin

UnRAVeL-PI Christina Büsing Urheberrecht: © Martin Braun

UnRAVeL-PI Christina Büsing

UnRAVeL-PI Michael Schaub Urheberrecht: © Martin Braun

UnRAVeL-PI Michael Schaub

Ein seltenes Bild Urheberrecht: © Martin Braun

Ein seltenes Bild

Informatikerinnen - wir alle

Sektgläser auf einem Tisch Urheberrecht: © Martin Braun

Es darf gefeiert werden

UnRAVeL-PI Jürgen Giesl Urheberrecht: © Martin Braun

UnRAVeL-PI Jürgen Giesl

Alle haben mitgemacht

UnRAVeL-Mitglied Helen Bolke-Hermanns Urheberrecht: © Martin Braun

UnRAVeL-Mitglied Helen Bolke-Hermanns

Prost

Bild der Festschrift Urheberrecht: © Martin Braun

Festschrift zum Jubiläum

UnRAVeL-Mitglieder Helen Bolke-Hermanns und Joost-Pieter Katoen waren maßgeblich an der Entstehung beteiligt

UnRAVeL-PI Martin Grohe mit seiner Band beim Festakt Urheberrecht: © Martin Braun

UnRAVeL-PI Martin Grohe mit seiner Band beim Festakt

tolle Musik

UnRAVeL-PI Martin Grohe mit seiner Band beim Festakt Urheberrecht: © Martin Braun

UnRAVeL-PI Martin Grohe mit seiner Band beim Festakt

Jazz vom Feinsten

Ehrung des UnRAVeL-Alumnus Marcel Hark zur Dissertation Urheberrecht: © Martin Braun

Ehrung des UnRAVeL-Alumnus Marcel Hark zur Dissertation

Ehrung des UnRAVeL-Alumnus Peter Lindner zur Dissertation Urheberrecht: © Martin Braun

Ehrung des UnRAVeL-Alumnus Peter Lindner zur Dissertation

Ehrung des UnRAVeL-Alumnus Martin Ritzert zur Dissertation Urheberrecht: © Martin Braun

Ehrung des UnRAVeL-Alumnus Martin Ritzert zur Dissertation

Bild 15 Urheberrecht: © Martin Braun

Dank an UnRAVeL Mitglied Helen Bolke-Hermanns für die Beteiligung an der Organisation und der Festschrift

DJ Katoen in Action Urheberrecht: © Martin Braun

DJ Katoen in Action

let's dance

Let's go Party Urheberrecht: © Martin Braun

Let's go Party

DJ Grohe legt auf Urheberrecht: © Martin Braun

DJ Grohe legt auf

UnRAVeL-PI Sebastian Trimpe Urheberrecht: © Martin Braun

UnRAVeL-PI Sebastian Trimpe

DJ Grohe legt auf Urheberrecht: © Martin Braun

DJ Grohe legt auf

DJ Katoen Urheberrecht: © Martin Braun

DJ Katoen

...wer war dabei?

Bild 21 Urheberrecht: © Martin Braun

Party

Die Mensa Vita von außen mit Feiernden hinter den Fenstern Urheberrecht: © Martin Braun

Es war ein gute Party

Dank an das Team „50 Jahre Informatik"

 
DJ Katoen in Action
DJ Katoen in Action
 

Hall of Fame - Preise und Auszeichnungen

Name Preis Jahr
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 im Podcast "TECHNIK AUFS OHR" des VDI: "Kapazitäten für die Mobilitätswende: Wie bekommen wir mehr auf die Schiene?" 2022
Joost-Pieter Katoen Papier "Approximative symbolische Modellprüfung von zeitkontinuierlichen Markov-Ketten" ist eine der einflussreichsten Arbeiten des Zeitraums 1998-2001 2022
Matthias Volk Matthias Volk erhält für seine Dissertation den Manfred-Nagl-Preis 2022
LuFG i2 LuFG i2 gewinnt die "Termination and Complexity Competition" bei der FLoC 2022 2022
Carologistics Siebter Weltmeistertitel für Aachener Carologistics beim RoboCup 2022 Thailand in der Logistics League 2022
Joost-Pieter Katoen Gratulation an Joost-Pieter Katoen als neues Mitglied der Nordrhein-Westfälischen Akademie der Wissenschaften und der Künste 2022
Martin Grohe Gratulation an UnRAVeL Betreuer Prof. Martin Grohe für den ERC Advanced Grants 2022
Till Hofmann & Stefan Schupp Best Tool Paper Award für Till Hofmann und Stefan Schupp 2021
UnRAVeL Es darf gefeiert werden: UnRAVeL wurde verlängert 2021
Benjamin Kaminski UnRAVel Alumnus Benjamin Kaminski wird neuer Professor für Informatik an der Universität des Saarlandes 2021

Till Hofmann, Stefan Schupp

 Best Tool Paper Award bei der SEFM 2021
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
UnRAVeL-Album
UnRAVeLs Jip Spel, Matthias Volk und Alexander Bork beim Aufbau von MFCS 2019 Urheberrecht: © UnRAVeL
UnRAVeL-Sprecher Joost-Pieter Katoen mit der eingeladenen MFCS-Vortragenden Alexandra Silva Urheberrecht: © UnRAVeL
UnRAVeL-Sprecher Joost-Pieter Katoen mit dem eingeladenen MFCS-Vortragenden Jérôme Leroux Urheberrecht: © UnRAVeL
Nicht verfügbar Urheberrecht: © UnRAVeL
Best Paper Award bei FMICS für Matthias Volk, Norman Weik, Joost-Pieter Katoen und Nils Nießen Urheberrecht: © UnRAVeL
Besuch in der AixCave im Rahmen von Bi-Weekly Urheberrecht: © UnRAVeL
Gastvortrag: Guy Avni: Graph games in Shielding and in Bidding Urheberrecht: © UnRAVeL
Gastvortrag: Florent Delgrange: Life is Random, Time is Not: Markov Decision Processes with Window Objectives Urheberrecht: © UnRAVeL
PromotionsCafé 2019: Strategische Finanzplanung Urheberrecht: © UnRAVeL
UnRAVeL Spring Workshop 2019 in Monschau Urheberrecht: © UnRAVeL
Guest bim UnRAVeL Spring Workshop 2019 in Monschau: Pascal Schweitzer Urheberrecht: © UnRAVeL
UnRAVeL Spring Workshop 2019 in Monschau Urheberrecht: © UnRAVeL
Gast beim UnRAVeL Spring Workshop 2019 in Monschau: Cyrill Stachniss Urheberrecht: © UnRAVeL
Gast beim UnRAVeL Spring Workshop 2019 in Monschau: Guy Katz Urheberrecht: © UnRAVeL
Gastvortrag: On the Complexity of Value Iteration Urheberrecht: © UnRAVeL
UnRAVel Gastvortrag: Development of Dependable Autonomous Robots Urheberrecht: © UnRAVeL
UnRAVeL Gastvortrag: Computation and Improvement of Wardop Equilibria with Unknown Demands Urheberrecht: © UnRAVeL
UnRAVeL Gastvortrag: Data generation for programming by example Urheberrecht: © UnRAVeL
UnRAVel Gastvortrag: Verification and Strategy Synthesis for Stochastic Games Urheberrecht: © UnRAVeL
UnRAVel Gastvortrag: Parameter-Independent Strategies for pMDPs Urheberrecht: © UnRAVeL
UnRAVel Gastvortrag: Almost Sure Productivity Urheberrecht: © UnRAVeL
UnRAVeL Gastvortrag: Strategical Timetable Planning Urheberrecht: © UnRAVeL
UnRAVeL Gastvortrag: Sensitivity of probabilistic programs Urheberrecht: © UnRAVeL
UnRAVeL Gastvortrag: Formal verification and learning of complex systems Urheberrecht: © UnRAVeL
Ringvorlesung: Competitive Analysis of Online Algorithms Urheberrecht: © UnRAVeL
Ringvorlesung: Termination and Complexity Analysis for Programs Urheberrecht: © UnRAVeL
Ringvorlesung: Dynamic Network Flows Urheberrecht: © UnRAVeL
Interner UnRAVeL Workshop in Monschau Urheberrecht: © Marcel Hark
UnRAVeL Vortrag: Quantitative Separation Logic Urheberrecht: © UnRAVeL
Promotion mit Auszeichnung: Benjamin Kaminski Urheberrecht: © UnRAVeL
PhD thesis defence: Benjamin Kaminski Urheberrecht: © UnRAVeL
 

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.

Eröffnung des UnRAVeL-Raumes
opening of UnRAVeL room Urheberrecht: © UnRAVeL
opening of UnRAVeL room Urheberrecht: © UnRAVeL
opening of UnRAVeL room Urheberrecht: © UnRAVeL
opening of UnRAVeL room Urheberrecht: © UnRAVeL
opening of UnRAVeL room Urheberrecht: © UnRAVeL
opening of UnRAVeL room Urheberrecht: © UnRAVeL
opening of UnRAVeL room Urheberrecht: © UnRAVeL
opening of UnRAVeL room Urheberrecht: © UnRAVeL
 

Downloads

 

Verwandte Themen