h1

h2

h3

h4

h5
h6

Skip to Content Jump to Main Navigation Skip to Search Stop image animation

Logo of UnRAVeL
Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • Deutsch

Faculties and Institutions

You Are Here: UnRAVeL

RWTH

  • Main page
  • Intranet

Faculties and Institutes

  • Mathematics, Computer Science and Natural SciencesFaculty 1
  • ArchitectureFaculty 2
  • Civil EngineeringFaculty 3
  • Mechanical EngineeringFaculty 4
  • Georesources and Materials EngineeringFaculty 5
  • Electrical Engineering and Information TechnologyFaculty 6
  • Arts and HumanitiesFaculty 7
  • Business and EconomicsFaculty 8
  • MedicineFaculty 10

Find Institute:

Institutions

  • University Library
  • IT Center
  • Athletics and Recreation
  • Central University Administration
  • All Institutions

Navigation

  1. Academics
  2. Research
  3. The Research Training Group
PIs UnRAVeL Copyright: Valentin Bister

Team of Principal Investigators Morezu: Team of Principal Investigators

Norman Weik and Matthias Volk

3rd Place TRA VISIONS 2020 Young Researcher Competition for Norman Weik and Matthias Volk Morezu: 3rd Place TRA VISIONS 2020 Young Researcher Competition for Norman Weik and Matthias Volk

Doctorate with Distinction: Norman Weik Copyright: UnRAVeL

Doctorate with Distinction: Norman Weik Morezu: Doctorate with Distinction: Norman Weik

Team Carologistics Copyright: Carologistics

Carologistics Team regained the world title in the Robocup Logistics League in Sydney Morezu: Carologistics Team regained the world title in the Robocup Logistics League in Sydney

Best Paper Award Copyright: UnRAVeL

Successful UnRAVeL Cooperation Morezu: Successful UnRAVeL Cooperation

Professor Katoen in interview Copyright: RWTH Aachen

Interview with Professor Katoen Morezu: Interview with Professor Katoen

Books about Algorithm Research Copyright: UnRAVeL

Dissertation Projects Morezu: Dissertation Projects

Christina Büsing Copyright: HEIKE LACHMANN

RWTH Prize for Family-Friendly Management goes to Christina Büsing Morezu: RWTH Prize for Family-Friendly Management goes to Christina Büsing

Quick Links

  • Team
  • Projects
  • Publications
  • Job Openings
  • Guest Researchers
  • DFG - German Research Foundation
 

Upcoming Events

  • 30.
    Oct
    2020

    Graduate Seminar: Laura Vargas Koch: Competitive variants of discrete and continuous flows over time

  • 04.
    Nov
    2020

    Guest Talk: Gabriele Kern-Isberner: Towards Lifted Inference: Counting Strategies for Relational Maximum Entropy Reasoning

  • 05.
    Nov
    2020

    Open for all UnRAVeL Members: Weekly Seminar by RTG Eddy: K-convergence of numerical solutions of the Euler equations

  • Further Events

News

  • 21/10/2020

    UnRAVeL Broschure

  • 02/10/2020

    3rd Place TRA VISIONS 2020 Young Researcher Competition

  • 26/03/2020

    Cancelled: Girls Day 2020

  • Further Announcements
 

Open positions in our RTG!

 

 

We are looking for enthusiastic and highly qualified doctoral researchers. 

 

more...zu: Open positions in our RTG!

Contact

Joost-Pieter Katoen © Copyright: Tim Lange

Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Ahornstr. 55 RWTH Navigator

52074 Aachen

WorkPhone: +49 241 80 21004

FaxFax: +49 241 80 22217

Send Email

top

Footer

RWTH

  • RWTH Main Page
  • Faculty of Mathematics, Computer Science and Natural Sciences
  • Business and Economics
  • Faculty of Civil Engineering

Services

  • Contact and Maps
  • Site Credits
  • Site Map
  • Privacy Policy
  • Accessibility Statement
  • Feedback

Social Media

  • facebook
  • Xing

Institutions

  • Department of Computer Science
  • University Library