Diese Webseite nutzt technisch notwendige Cookies, um bestmögliche Funktionalität bieten zu können.
Weitere Informationen

Zum Inhaltsbereich Zur Hauptnavigation Zur Suche

Suche

Fakultäten und Einrichtungen

Hauptseite RWTH

  1. Studium
    • Vorlesungen und Seminare
    • Stammtisch
    • Bi-Weekly Meetings
    • Jährlicher Frühlingsworkshop
    • UnRAVeL Seminars
    • Sommerschulen und Workshops
    • Buchclub
    • Ringvorlesung "Biggest Milestones - Research at Its Peak"
  2. Forschung
    • Publikationen
    • Laufende Dissertationsprojekte
    • Abgeschlossene Promotionen
    • Abgeschlossene Bachelor- und Masterarbeiten
  3. Das Graduiertenkolleg
    • Profil
    • Team
    • Ombudsperson
    • DFG – deutsche Forschungsgemeinschaft
    • Aktuelle Veranstaltungen
    • Meldungen & Highlights
    • Veranstaltungsarchiv
    • Gender & Diversity
    • Gastwissenschaftlerinnen und -wissenschaftler
    • UnRAVeL Pinnwand

Intranet

Zurück

Vorlesungen und Seminare

    Zurück

    Stammtisch

      Zurück

      Bi-Weekly Meetings

        Zurück

        Jährlicher Frühlingsworkshop

          Zurück

          UnRAVeL Seminars

            Zurück

            Sommerschulen und Workshops

              Zurück

              Buchclub

                Zurück

                Ringvorlesung "Biggest Milestones - Research at Its Peak"

                  Zurück

                  Publikationen

                    Zurück

                    Laufende Dissertationsprojekte

                    • Algorithmen und Komplexität
                    • Verifikation
                    • Logik und Sprachen
                    • Applikationsszenarien
                    Zurück

                    Abgeschlossene Promotionen

                      Zurück

                      Abgeschlossene Bachelor- und Masterarbeiten

                        Zurück

                        Profil

                          Zurück

                          Team

                          • Leitende Forschende
                          • PhD-Studierende
                          • Studentische Hilfskräfte
                          • Management
                          • Alumni
                          • In Gedenken an Gerhard Woeginger
                          Zurück

                          Ombudsperson

                            Zurück

                            DFG – deutsche Forschungsgemeinschaft

                              Zurück

                              Aktuelle Veranstaltungen

                                Zurück

                                Meldungen & Highlights

                                  Zurück

                                  Veranstaltungsarchiv

                                    Zurück

                                    Gender & Diversity

                                    • Girls'Day - Mädchen Zukunftstag
                                    • PromotionsCafé
                                    • Kooperationen
                                    • Literatur und Medien
                                    • Kontakt
                                    Zurück

                                    Gastwissenschaftlerinnen und -wissenschaftler

                                    • Gäste 2017
                                    • Gäste 2018
                                    • Gäste 2019
                                    • Gäste 2020
                                    • Gäste 2021
                                    • Gäste 2022
                                    • Gäste 2023
                                    Zurück

                                    UnRAVeL Pinnwand

                                      Zurück

                                      Fakultäten und Einrichtungen

                                      Suche

                                      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

                                      Einrichtungen

                                      • Universitätsbibliothek
                                      • IT Center
                                      • Hochschulsport
                                      • Zentrale Hochschulverwaltung
                                      • Alle Einrichtungen
                                      Logo: RWTH Aachen University
                                      • English
                                      • Suche
                                      • Hauptmenü
                                      UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

                                      Gäste 2022

                                       
                                      Name Forschungsgebiet Kontakt
                                      Baier, Christel modeling, specification and verification of reactive systems, quantitative analysis of stochastic systems, probabilistic model checking, ...
                                      christel.baier@tu-dresden.de
                                      Webseite
                                      Megow, Nicole Mathematical optimization, the theory of algorithm design and analysis, and operations research
                                      nicole.megow@uni-bremen.de
                                      Webseite
                                      Morettin, Paolo Machine Learning, Artificial Intelligence
                                      paolo.morettin@kuleuven.be
                                      Webseite
                                      Ouaknine, Joël Foundations of Algorithmic Verification and Theoretical Computer Science
                                      joel@mpi-sws.org
                                      Webseite
                                      Venturato, Gabriele Declarative Languages and Artificial Intelligence
                                      gabriele.venturato@kuleuven.be
                                      Webseite

                                      Letzte Aktualisierung : 19.01.2022

                                      Auf LinkedIn teilen
                                      Auf Xing teilen
                                      Auf Twitter teilen
                                      Auf Facebook teilen
                                      Gastwissenschaftlerinnen und -wissenschaftler
                                      • Gäste 2017
                                      • Gäste 2018
                                      • Gäste 2019
                                      • Gäste 2020
                                      • Gäste 2021
                                      • Sie sind hier:Gäste 2022
                                      • Gäste 2023
                                       
                                      Zurück
                                      nach oben
                                      RWTH Startseite
                                      Fakultät für Mathematik, Informatik, Naturwissenschaften
                                      Fakultät für Wirtschaftswissenschaften
                                      Fakultät für Bauingenieurwesen
                                        • facebook
                                        • Xing
                                      Service Einrichtungen
                                      • Kontakt und Lagepläne
                                      • Impressum
                                      • Sitemap
                                      • Datenschutzerklärung
                                      • Barrierefreiheitserklärung
                                      • Feedback
                                      • Fachgruppe Informatik
                                      • Universitätsbibliothek
                                      • Impressum
                                      • Datenschutzerklärung
                                      • Desktop-Seite
                                      Abbrechen
                                         
                                      Abbrechen