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

h1