Guest researcher 2018
Quarter-day tutorials and/or condensed courses, 2–4 lectures, are given by national and international guest researchers on specialised aspects of uncertainty and randomness. These are intended to broaden the horizon of the doctoral researchers with actual topics in randomness and uncertainty that complement the competences and background of the participating professors. Participation in lectures of visiting researchers is obligatory for the doctorate researchers. This qualification programme part enables the doctorate researchers to get in touch with internationally well-established researchers. The contacts between the doctoral researchers and the visiting lecturers may be a step towards research visits and/or postdoctoral fellowships in the remainder of their scientific career. Finally, the visiting research programme increases the international visibility of the Research Training Group.
| |
Name |
Research Area |
Kontakt |
| Abate, Alessandro | Analysis, verification, and optimal control of heterogeneous and complex dynamical models
| alessandro.abate@cs.ox.ac.uk
Webseite
|
| Aguirre, Alejandro | Relational Type Systems, Probabilistic Programming
| alejandro.aguirre@imdea.org
Webseite
|
| Arming, Sebastian | Computer Sciences
| sebastian.arming@sbg.ac.at
Webseite
|
| Bojańczyk, Mikołaj | Logic and Computational Complexity, WATA (Weighted Automata: Theory and Applications)
| bojan@mimuw.edu.pl
Webseite
|
| Češka, Milan | Automated analysis, Verification research
| ceska@fit.vutbr.cz
Webseite
|
| Fijalkow, Nathanaël | Games, Automata, and logic, Program verification, Learning theory, Dynamical systems and Process algebra
| nathanael.fijalkow@gmail.com
Webseite
|
| Göke, Alexander | | alexander.goeke@uni-bonn.de
Webseite
|
| Hsu, Justin | Programming principles, Logic, and Verification
| j.hsu@cs.ucl.ac.uk
Webseite
|
 ©Lars Horn / Baghuset. | Mardare, Radu | Modal logics, Structural operational semantics, Model theory, Quantitative systems, Markov processes
| r.mardare@strath.ac.uk
Webseite
|
| Meyer auf der Heide, Friedhelm | Computing, communication and data management in networks, Dynamics in networks, Algorithms in computer graphics, Probabilistic analysis
| fmadh@upb.de
Webseite
|
| Nachtigall, Karl | transportation systems, statistics
| karl.nachtigall@tu-dresden.de
Webseite
|
| Olmedo Beron, Federico | Program semantics and verification, Probabilistic programming, Theorem provers, Language-based security
| folmedo@dcc.uchile.cl
Webseite
|
| Parker, David | quantitative verification, robotics, computer security, systems biology, DNA computing
| d.a.parker@cs.bham.ac.uk
Webseite
|
| Pérez, Guillermo A. | Embedded systems, Formal verification, Logic and automata, and Artificial intelligence
| guillermoalberto.perez@uantwerpen.be
Webseite
|
| Pfetsch, Marc | Optimization
| pfetsch@mathematik.tu-darmstadt.de
Webseite
|
| Schmidt, Stefan | | Webseite
|
| Sering, Leon | Flows over time, game theory, graph theory and algorithms, integer programming, approximation algorithms, stochastic optimization
| sering@math.tu-berlin.de
Webseite
|
| Skutella, Martin | | martin.skutella@tu-berlin.de
Webseite
|
| Steinbauer, Gerald | autonomous mobile robots, model-based diagnosis, reasoning, planning and RoboCup
| steinbauer@ist.TUGraz.at
Webseite
|
 ©gijs@gijsvofoto.nl | Stoelinga, Mariëlle | Risk management for computer systems, Quantitative, Risk assessment, Model-based testing, Stochastic model checking
| marielle@cs.utwente.nl
Webseite
|
| Thunig, Theresa | Modeling and Simulation of Transport
| tziemke@vsp.tu-berlin.de
Webseite
|
| van Keulen, Maurice | Data interoperability
| m.vankeulen@utwente.nl
Webseite
|