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.jpg
Abate, Alessandro Analysis, verification, and optimal control of heterogeneous and complex dynamical models

Webseite
alejandro.aguirre.jpg
Aguirre, Alejandro Relational Type Systems, Probabilistic Programming

Webseite
Arming, Sebastian Computer Sciences

Webseite
Bojańczyk, Mikołaj Logic and Computational Complexity, WATA (Weighted Automata: Theory and Applications)

Webseite
Milan_Ceska.jpg
Češka, Milan Automated analysis, Verification research

Webseite
nath2.jpg
Fijalkow, Nathanaël Games, Automata, and logic, Program verification, Learning theory, Dynamical systems and Process algebra

Webseite
Göke, Alexander
Webseite
Hsu, Justin Programming principles, Logic, and Verification

Webseite
Capture.jpg©Lars Horn / Baghuset.
Mardare, Radu Modal logics, Structural operational semantics, Model theory, Quantitative systems, Markov processes

Webseite
Friedhelm_meyeraufderheide.jpg
Meyer auf der Heide, Friedhelm Computing, communication and data management in networks, Dynamics in networks, Algorithms in computer graphics, Probabilistic analysis

Webseite
676ff8b9-aedf-4d3b-a97c-aeaf1211a234.jpg
Nachtigall, Karl transportation systems, statistics

Webseite
Federico Olmedo_face.jpg
Olmedo Beron, Federico Program semantics and verification, Probabilistic programming, Theorem provers, Language-based security

Webseite
david-parker.jpg
Parker, David quantitative verification, robotics, computer security, systems biology, DNA computing

Webseite
Guillermo Alberto Perez.jpg
Pérez, Guillermo A. Embedded systems, Formal verification, Logic and automata, and Artificial intelligence

Webseite
Pfetsch, Marc Optimization

Webseite
Schmidt, Stefan Webseite
Leon Sering.jpg
Sering, Leon Flows over time, game theory, graph theory and algorithms, integer programming, approximation algorithms, stochastic optimization

Webseite
Skutella, Martin
Webseite
vkimg_B_40968.jpg
Steinbauer, Gerald autonomous mobile robots, model-based diagnosis, reasoning, planning and RoboCup

Webseite
Mariëlle.jpg©gijs@gijsvofoto.nl
Stoelinga, Mariëlle Risk management for computer systems, Quantitative, Risk assessment, Model-based testing, Stochastic model checking

Webseite
Thunig, Theresa Modeling and Simulation of Transport

Webseite
Foto-ENovation4U-KEEKMix-Sep2013-small.jpg
van Keulen, Maurice Data interoperability

Webseite