This website uses technically necessary cookies to offer the best possible functionality.

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
Ouaknine, Joël	Foundations of Algorithmic Verification and Theoretical Computer Science	joel@mpi-sws.org Webseite

last updated: 19/01/2022

h1