h1

h2

h3

h4

h5
h6

Skip to Content Jump to Main Navigation Skip to Search

Logo of UnRAVeL
Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • Deutsch

Faculties and Institutions

You Are Here: Site Map

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
 

Site Map

You Are Here:

  1. Home
  2. Footer
  3. Services
  4. Site Map
Print

Sub-Navigation

Academics

  • Lectures and seminars
  • Regulars Table
  • Bi-Weekly Meetings
  • Annual Spring Workshop
  • UnRAVeL Seminars
  • Summer Schools and Workshops
  • Reading Groups
  • Survey Lecture "What's New in UnRAVeL?"

Research

  • Publications
  • Ongoing Dissertation Projects
    • Algorithms and Complexity
      • Mariia Anapolska: Robust Appointment Scheduling in Hospitals
      • Katharina Eickhoff: Design and Analysis of Algorithms for Combinatorial Optimization Problems under Uncertainties
      • Dennis Fischer: Optimization under Uncertainty
      • Janosch Fuchs: Special Online Problems with Advice
      • Christoph Grüne: Complexity and Algorithms in Optimization under Uncertainty
      • Tabea Krabs: Robust Hospital Management
      • Komal Muluk: Optimization under Adversarial Uncertainty
      • Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
    • Verification
      • Dominik Meier: Termination and Complexity Analysis of Probabilistic Programs
      • Jasper Nalbach: Algebraic Methods in SMT-Solving
      • Jip Spel: Monotonicity in Parametric Markov Chains
      • Tobias Winkler: Programming and Verifying Uncertain Phenomena
    • Logic and Languages
      • Tim Seppelt: The Tournament Isomorphism Problem
    • Application Scenarios
      • Liu Daxin: Probabilistic Action Formalisms with Applications to Robotics
      • Nadine Friesen: Robust Infrastructure
      • Rebecca Haehn: Satisfiability Checking for Optimisation of Timetables in Railway Engineering under Consideration of Uncertainties
      • Till Hofmann: Robust Execution of Abstract Task Plans on Mobile Robots
      • Andreas Klinger: Privacy Preserving Online Algorithms
  • Completed Doctorates
  • Completed Bachelor and Master Theses

The Research Training Group

  • Profile
  • People
    • Supervisors
    • Phd Students
    • Student Assistants
    • Management
    • Alumni
    • In Memory of Gerhard Woeginger
  • Ombudsperson
  • DFG - German Research Foundation
  • Upcoming Events
  • Announcements & Highlights
  • Archive of Events
    • Photo Gallery
  • Gender & Diversity
    • Girls'Day
    • PromotionsCafé
      • Past PromotionsCafés
    • Cooperations
    • Literature and Media
    • Contact
  • Guest Researchers
    • Guests 2017
    • Guests 2018
    • Guests 2019
    • Guests 2020
    • Guests 2021
    • Guests 2022
  • UnRAVeL Notice Board

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