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
    • Stellenangebote

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

                                      Stellenangebote

                                        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
                                        • Center für Lehr- und Lernservices
                                        • Hochschulsport
                                        • Zentrale Hochschulverwaltung
                                        • Alle Einrichtungen
                                        Logo: RWTH Aachen University
                                        • English
                                        • Suche
                                        • Hauptmenü
                                        UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

                                        Gäste 2023

                                         
                                        Name Forschungsgebiet Kontakt
                                        David, Cristina Programming languages, software verification, program synthesis
                                        cristina.david@bristol.ac.uk
                                        Webseite
                                        Jansen, Nils Intelligent decision-making under uncertainty, with a focus on formal reasoning about safety and dependability aspects in artificial intelligence (AI)
                                        n.jansen@cs.ru.nl
                                        Webseite
                                        Junges, Sebastian Parameter Synthesis for Markov Models
                                        Webseite
                                        Kassing, Sebastian machine learning, stochastic processes appearing in the optimization of neural networks, the loss landscape in deep learning, stochastic approximation and stochastic analysis
                                        skassing@math.uni-bielefeld.de
                                        Webseite
                                        Lehmann, Johannes Causality in formal systems
                                        Webseite
                                        Rajaona, Fortunat Security Protocols, Multi-agent Epistemic Logics, Formal Methods in Computer Science
                                        s.rajaona@surrey.ac.uk
                                        Webseite
                                        Shirmohammadi, Mahsa Automated Verification
                                        mahsa@irif.fr
                                        Webseite
                                        van der Vegt, Marck marck.vandervegt2@ru.nl
                                        Webseite
                                        Verschae, José Combinatorial optimization, Approximation and online algorithms, Scheduling theory, Network design
                                        jverschae (at) uc (dot) cl
                                        Webseite

                                        Letzte Aktualisierung : 17.03.2023

                                        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
                                        • Gäste 2022
                                        • Sie sind hier: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