Gäste 2017
Nationale und internationale Gastwissenschafterlinnen und Gastwissenschaftler halten vierteljährlich Tutorien und konzentrierte Kurse über 2 - 4 Einheiten über Detailaspekte über die spezifischen UnRAVeL-Themen.
| |
Name |
Forschungsgebiet |
Kontakt |
| Giesl, Peter | Applied Mathematics, Pure Mathematics, Electrical and Electronic Engineering, Numerical and Computational Mathematics
| P.A.Giesl@sussex.ac.uk
Webseite
|
| Jansen, Nils | Formal verification, Analysis and synthesis of stochastic systems, Probabilistic programs
| n.jansen@science.ru.nl
Webseite
|
 Studio8 Ltd | Kwiatkowska, Martha | Modelling and analysis methods for complex systems, Arising in computer networks
| marta.kwiatkowska@cs.ox.ac.uk
Webseite
|
| Moerman, Joshua | Active automata learning, Algorithms, Functional programming, Homotopy theory, Coalgebra and category theory
| joshua@cs.rwth-aachen.de
Webseite
|
| Möhring, Rolf H. | Graph and network algorithms, Combinatorial optimization, Project scheduling, Operations research, Industrial applications
| rolf.moehring@tu-berlin.de
Webseite
|
| van Keulen, Maurice | Data interoperability
| m.vankeulen@utwente.nl
Webseite
|