Diese Webseite nutzt technisch notwendige Cookies, um bestmögliche Funktionalität bieten zu können.

Weitere Informationen

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

Letzte Aktualisierung: 19.01.2022

RWTH

Service

Soziale Medien

Einrichtungen