h1

h2

h3

h4

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

Zum Inhaltsbereich Zur Hauptnavigation Zum Footer Zur Suche

Logo des UnRAVeL
Suche

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • English

Fakultäten und Einrichtungen

Sie sind hier: Gäste 2023

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
  • Center für Lehr- und Lernservices
  • Hochschulsport
  • Zentrale Hochschulverwaltung
  • Alle Einrichtungen

Navigation

  1. Studium
  2. Forschung
  3. Das Graduiertenkolleg

Sie sind hier:

  1. Home
  2. Das Graduiertenkolleg
  3. Gastwissenschaftlerinnen und -wissenschaftler
  4. Gäste 2023
Drucken
Auf LinkedIn teilen
Auf Xing teilen
Auf Twitter teilen
Auf Facebook teilen

Sub-Navigation

  • Profil
  • Team
  • Ombudsperson
  • DFG – deutsche Forschungsgemeinschaft
  • Aktuelle Veranstaltungen
  • Meldungen & Highlights
  • Veranstaltungsarchiv
  • Gender & Diversity
  • 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
  • UnRAVeL Pinnwand
 

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
Pontiggia, Francesco Probabilistic Hyperproperties, Model Checking, Formal Languages, Probabilistic Programming
francesco.pontiggia@tuwien.ac.at
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

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