Gäste 2023

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Name	Forschungsgebiet	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

Name

Forschungsgebiet

Kontakt

Jansen, Nils

Junges, Sebastian

Rajaona, Fortunat