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 2017

                                       

                                      Nationale und internationale Gastwissenschafterlinnen und Gastwissenschaftler halten vierteljährlich Tutorien und konzentrierte Kurse über 2 - 4 Einheiten über Detailaspekte über die spezifischen UnRAVeL-Themen. 

                                       
                                        Name Forschungsgebiet Kontakt
                                      Giesl, Peter Applied Mathematics, Pure Mathematics, Electrical and Electronic Engineering, Numerical and Computational Mathematics
                                      P.A.Giesl@sussex.ac.uk
                                      Webseite
                                      guest_NilsJansen.jpg
                                      Jansen, Nils Formal verification, Analysis and synthesis of stochastic systems, Probabilistic programs
                                      n.jansen@science.ru.nl
                                      Webseite
                                      marta-2014-mid.jpgStudio8 Ltd
                                      Kwiatkowska, Martha Modelling and analysis methods for complex systems, Arising in computer networks
                                      marta.kwiatkowska@cs.ox.ac.uk
                                      Webseite
                                      Joshua Moerman.jpg
                                      Moerman, Joshua Active automata learning, Algorithms, Functional programming, Homotopy theory, Coalgebra and category theory
                                      joshua@cs.rwth-aachen.de
                                      Webseite
                                      moehring.png
                                      Möhring, Rolf H. Graph and network algorithms, Combinatorial optimization, Project scheduling, Operations research, Industrial applications
                                      rolf.moehring@tu-berlin.de
                                      Webseite
                                      Foto-ENovation4U-KEEKMix-Sep2013-small.jpg
                                      van Keulen, Maurice Data interoperability
                                      m.vankeulen@utwente.nl
                                      Webseite

                                      Letzte Aktualisierung : 10.02.2021

                                      Auf LinkedIn teilen
                                      Auf Xing teilen
                                      Auf Twitter teilen
                                      Auf Facebook teilen
                                      Gastwissenschaftlerinnen und -wissenschaftler
                                      • Sie sind hier:Gäste 2017
                                      • Gäste 2018
                                      • Gäste 2019
                                      • Gäste 2020
                                      • Gäste 2021
                                      • 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