Gäste 2018

 

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
Foto-ENovation4U-KEEKMix-Sep2013-small.jpgvan Keulen, Maurice Data interoperability

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

Webseite
Friedhelm_meyeraufderheide.jpgMeyer auf der Heide, Friedhelm Rechnen, Kommunikation und Datenverwaltung in Netzwerken, Dynamik in Netzwerken, Algorithmen der Computergraphik, Randomisierungsmethoden

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

Webseite
Hsu, Justin Programming principles, Logic, and Verification

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

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

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

Webseite
676ff8b9-aedf-4d3b-a97c-aeaf1211a234.jpgNachtigall, Karl Verkehrssystemtheorie und Statistik

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

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

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

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
alejandro.aguirre.jpgAguirre, Alejandro Relational Type Systems, Probabilistic Programming

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

Webseite
Leon Sering.jpgSering, Leon Dynamische Flussnetzwerke, Spieltheorie, Graphentheorie und -algorithmen, Ganzzahlige Programmierung, Approximationsalgorithmen, Stochastische Optimierung

Webseite
Theresa Thunig.jpgThunig, Theresa Transport Modellierung und Simulation, Verkehrskontrolle und Optimierung, Algorithmische Spieltheorie

Webseite
Arming, Sebastian Computer Sciences

Webseite