Guest Researchers

 

Quarter-day tutorials and/or condensed courses, two to four 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 Forschungsgebiet Kontakt
Abate.jpgAbate, Alessandro Analysis, verification, and optimal control of heterogeneous and complex dynamical models

Webseite
alejandro.aguirre.jpgAguirre, Alejandro Relational Type Systems, Probabilistic Programming

Webseite
Arming, Sebastian Computer Sciences

Webseite
Avni, Guy formal methods, quantitative formal methods, in game theory, algorithmic game theory

Webseite
GillesBarthe.jpgBarthe, Gilles programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic

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

Webseite
Borzoo Bonakdarpour.jpgBonakdarpour, Borzoo Distributed autonomous vehicle routing, Information-flow security, Resource-aware runtime monitoring of cyber-physical systems, Synthesis and model-based implementation of distributed applications

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

Webseite
Delgrange, Florent Formal verification and strategy synthesis in stochastic systems, Partially observable probabilistic systems (like POMDPs), Reinforcement learning for verification and safety in reinforcement learning

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

Webseite
Floris_GeertsGeerts, Floris Data quality, Big data, Databases

Webseite
Hsu, Justin Programming principles, Logic, and Verification

Webseite
Jansen, David Webseite
guest_NilsJansen.jpgJansen, Nils Formal verification, Analysis and synthesis of stochastic systems, Probabilistic programs

Webseite
Mojgan Kamali.jpgKamali, Mojgan Formal modelling and protocal verification, Model checking technique for network analysis, Specification and verification of distributed and real-time systems, Abstraction and refinement, Correct-by-construction development

Webseite
190309_GyuKatz.jpgKatz, Guy intercultural negotiations,

Webseite
MaxKlimmnah.jpgKlimm, Max algorithmic game theory, efficient algorithms, operations research, mechanism design

Webseite
marta-2014-mid.jpgKwiatkowska, Martha Modelling and analysis methods for complex systems, Arising in computer networks

Webseite
Capture.jpgMardare, Radu Modal logics, Structural operational semantics, Model theory, Quantitative systems, Markov processes

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

Webseite
Joshua Moerman.jpgMoerman, Joshua Active automata learning, Algorithms, Functional programming, Homotopy theory, Coalgebra and category theory

Webseite
moehring.pngMöhring, Rolf H. Graph and network algorithms, Combinatorial optimization, Project scheduling, Operations research, Industrial applications

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

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

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

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

Webseite
Schanzenbächer, Florian Research in demand-dependent traffic control
Webseite
190309_PascalSchweitzer.jpgSchweitzer, Pascal Algorithms and Complexity

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

Webseite
2019_gurest_Shirmohammadi.jpgShirmohammadi, Mahsa Automated Verification

Webseite
20190307_Stachniss.jpgStachniss, Cyrill Probabilistic Robotics, Localization, Mapping, SLAM, Bundle Adjustment, Visual and Laser Perception, Scene Analysis and Classification, Autonomous Cars, Logistics

Webseite
vkimg_B_40968.jpgSteinbauer, Gerald autonomous mobile robots, model-based diagnosis, reasoning, planning and RoboCup

Webseite
Mariëlle.jpgStoelinga, Mariëlle Risk management for computer systems, Quantitative, Risk assessment, Model-based testing, Stochastic model checking

Webseite
Theresa Thunig.jpgThunig, Theresa Modeling and simulation of transport, traffic control and optimization, algorithmic, game theory

Webseite
van Dijk, Tom formal verification and synthesis

Webseite
van Glabbeek, Rob Computational Logic and Formal Languages

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

Webseite
Walsh, Toby Artificial intelligence

Webseite