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 2023

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
  • 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 2023
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
    • Guests 2022
    • You Are Here:Guests 2023
  • UnRAVeL Notice Board
 

Guests 2023

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

last updated: 17/03/2023

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