Skip to Content Jump to Main Navigation Skip to Search

Search

Faculties and Institutions

Main page RWTH

  1. 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?"
  2. Research
    • Publications
    • Ongoing Dissertation Projects
    • Completed Doctorates
    • Completed Bachelor and Master Theses
  3. The Research Training Group
    • Profile
    • People
    • Ombudsperson
    • DFG - German Research Foundation
    • Upcoming Events
    • Announcements & Highlights
    • Archive of Events
    • Gender & Diversity
    • Guest Researchers
    • UnRAVeL Notice Board

Intranet

Back

Lectures and seminars

    Back

    Regulars Table

      Back

      Bi-Weekly Meetings

        Back

        Annual Spring Workshop

          Back

          UnRAVeL Seminars

            Back

            Summer Schools and Workshops

              Back

              Reading Groups

                Back

                Survey Lecture "What's New in UnRAVeL?"

                  Back

                  Publications

                    Back

                    Ongoing Dissertation Projects

                    • Algorithms and Complexity
                    • Verification
                    • Logic and Languages
                    • Application Scenarios
                    Back

                    Completed Doctorates

                      Back

                      Completed Bachelor and Master Theses

                        Back

                        Profile

                          Back

                          People

                          • Supervisors
                          • Phd Students
                          • Student Assistants
                          • Management
                          • Alumni
                          • In Memory of Gerhard Woeginger
                          Back

                          Ombudsperson

                            Back

                            DFG - German Research Foundation

                              Back

                              Upcoming Events

                                Back

                                Announcements & Highlights

                                  Back

                                  Archive of Events

                                  • Photo Gallery
                                  Back

                                  Gender & Diversity

                                  • Girls'Day
                                  • PromotionsCafé
                                  • Cooperations
                                  • Literature and Media
                                  • Contact
                                  Back

                                  Guest Researchers

                                  • Guests 2017
                                  • Guests 2018
                                  • Guests 2019
                                  • Guests 2020
                                  • Guests 2021
                                  • Guests 2022
                                  Back

                                  UnRAVeL Notice Board

                                    Back

                                    Faculties and Institutions

                                    Suche

                                    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

                                    Institutions

                                    • University Library
                                    • IT Center
                                    • Athletics and Recreation
                                    • Central University Administration
                                    • All Institutions
                                    Logo: RWTH Aachen University
                                    • Deutsch
                                    • Search
                                    • Main menu
                                    UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

                                    Site Map

                                    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
                                        • Nicole Megow
                                    • UnRAVeL Notice Board
                                     
                                    Back
                                    top
                                    RWTH Main Page
                                    Faculty of Mathematics, Computer Science and Natural Sciences
                                    Business and Economics
                                    Faculty of Civil Engineering
                                      • facebook
                                      • Xing
                                    Services Institutions
                                    • Contact and Maps
                                    • Site Credits
                                    • Site Map
                                    • Privacy Policy
                                    • Accessibility Statement
                                    • Feedback
                                    • Department of Computer Science
                                    • University Library
                                    • Site Credits
                                    • Privacy Policy
                                    • Desktop Version
                                    Cancel
                                       
                                    Cancel