h1

h2

h3

h4

h5
h6
This website uses technically necessary cookies to offer the best possible functionality.
Further Information

Skip to Content Skip to Main Navigation Skip to Footer Skip to Search

Logo of UnRAVeL
Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • Deutsch

Faculties and Institutions

You Are Here: Guests 2022

RWTH

  • Main page
  • Intranet

Faculties and Institutes

  • Mathematics, Computer Science and Natural SciencesFaculty 1
  • ArchitectureFaculty 2
  • Civil EngineeringFaculty 3
  • Mechanical EngineeringFaculty 4
  • Georesources and Materials EngineeringFaculty 5
  • Electrical Engineering and Information TechnologyFaculty 6
  • Arts and HumanitiesFaculty 7
  • Business and EconomicsFaculty 8
  • MedicineFaculty 10

Find Institute:

Institutions

  • University Library
  • IT Center
  • Center for Teaching and Learning Services
  • Athletics and Recreation
  • Central University Administration
  • All Institutions

Navigation

  1. Academics
  2. Research
  3. The Research Training Group

You Are Here:

  1. Home
  2. The Research Training Group
  3. Guest Researchers
  4. Guests 2022
Print
Share on LinkedIn
Share on Xing
Share on Twitter
Share on Facebook

Sub-Navigation

  • Profile
  • People
  • Ombudsperson
  • DFG - German Research Foundation
  • Upcoming Events
  • Announcements & Highlights
  • Archive of Events
  • Gender & Diversity
  • Guest Researchers
    • Guests 2017
    • Guests 2018
    • Guests 2019
    • Guests 2020
    • Guests 2021
    • You Are Here:Guests 2022
    • Guests 2023
  • UnRAVeL Notice Board
 

Guests 2022

 
Name Research Area 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

last updated: 19/01/2022

top

Footer

RWTH

  • RWTH Main Page
  • Faculty of Mathematics, Computer Science and Natural Sciences
  • Business and Economics
  • Faculty of Civil Engineering

Services

  • Contact and Maps
  • Site Credits
  • Site Map
  • Privacy Policy
  • Accessibility Statement
  • Feedback

Social Media

  • facebook
  • Xing

Institutions

  • Department of Computer Science
  • University Library