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 2022

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

Sie sind hier:

  1. Home
  2. Das Graduiertenkolleg
  3. Gastwissenschaftlerinnen und -wissenschaftler
  4. Gäste 2022
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
    • Sie sind hier:Gäste 2022
    • Gäste 2023
  • UnRAVeL Pinnwand
 

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

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