h1

h2

h3

h4

h5
h6

Zum Inhaltsbereich Zur Hauptnavigation Zur Suche

Logo des UnRAVeL
Suche

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • English

Fakultäten und Einrichtungen

Sie sind hier: Sitemap

RWTH

  • Hauptseite
  • Intranet

Fakultäten und Institute

  • Mathematik, Informatik, NaturwissenschaftenFakultät 1
  • ArchitekturFakultät 2
  • BauingenieurwesenFakultät 3
  • MaschinenwesenFakultät 4
  • Georessourcen und MaterialtechnikFakultät 5
  • Elektrotechnik und InformationstechnikFakultät 6
  • Philosophische FakultätFakultät 7
  • WirtschaftswissenschaftenFakultät 8
  • MedizinFakultät 10

Institut suchen:

Einrichtungen

  • Universitätsbibliothek
  • IT Center
  • Hochschulsport
  • Zentrale Hochschulverwaltung
  • Alle Einrichtungen

Navigation

  1. Studium
  2. Forschung
  3. Das Graduiertenkolleg
 

Sitemap

Sie sind hier:

  1. Home
  2. Footer
  3. Service
  4. Sitemap
Drucken

Sub-Navigation

Studium

  • Vorlesungen und Seminare
  • Stammtisch
  • Zweiwöchentliche Treffen
  • Jährlicher Frühlingsworkshop
  • UnRAVeL Seminars
  • Sommerschulen und Workshops
  • Buchclub
  • Ringvorlesung "What's New in UnRAVeL?"

Forschung

  • Publikationen
  • Laufende Dissertationsprojekte
    • Algorithmen und Komplexität
      • 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
    • Verifikation
      • 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
    • Logik und Sprachen
      • Tim Seppelt: The Tournament Isomorphism Problem
    • Applikationsszenarien
      • 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
  • Abgeschlossene Promotionen
  • Abgeschlossene Bachelor- und Masterarbeiten

Das Graduiertenkolleg

  • Profil
  • Team
    • Leitende Forschende
    • PhD-Studierende
    • Studentische Hilfskräfte
    • Management
    • Alumni
    • In Gedenken an Gerhard Woeginger
  • Ombudsperson
  • DFG – deutsche Forschungsgemeinschaft
  • Aktuelle Veranstaltungen
  • Meldungen & Highlights
  • Veranstaltungsarchiv
    • Fotogalerie
  • Gender & Diversity
    • Girls'Day - Mädchen Zukunftstag
    • PromotionsCafé
      • Vergangene PromotionsCafés
    • Kooperationen
    • Literatur und Medien
    • Kontakt
  • Gastwissenschaftlerinnen und -wissenschaftler
    • Gäste 2017
    • Gäste 2018
    • Gäste 2019
    • Gäste 2020
    • Gäste 2021
    • Gäste 2022
  • UnRAVeL Pinnwand

nach oben

Footer

RWTH

  • RWTH Startseite
  • Fakultät für Mathematik, Informatik, Naturwissenschaften
  • Fakultät für Wirtschaftswissenschaften
  • Fakultät für Bauingenieurwesen

Service

  • Kontakt und Lagepläne
  • Impressum
  • Sitemap
  • Datenschutzerklärung
  • Barrierefreiheitserklärung
  • Feedback

Soziale Medien

  • facebook
  • Xing

Einrichtungen

  • Fachgruppe Informatik
  • Universitätsbibliothek