UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

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