Guest researcher 2019

 
  Name Research Area Kontakt
Avni, Guy formal methods, quantitative formal methods, in game theory, algorithmic game theory

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

Webseite
Budde, Carlos Formal methods and model verification, (probabilistic) model checking, Rare event simulation

Webseite
Delgrange, Florent Reinforcement learning, Multi-agent systems, Model checking and synthesis, Planning under uncertainty and partial observability

Webseite
Floris_Geerts
Geerts, Floris Data quality, Big data, Databases

Webseite
Guan, Ji Webseite
Hella, Lauri mathematical logic and logic in computer science.

Webseite
Hermanns, Holger
Webseite
Jansen, David Finding the limits of probabilistic and other quantitative model checking methods

Webseite
190309_GyuKatz.jpg
Katz, Guy Formally verifying systems with machine-learned components, such as neural networks

Webseite
Keller, Gabriele functional programming, type systems, high-performance computing, and programming language based approaches to verification

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

Webseite
Leroux, Jérôme The Vector Addition System Reachability Problem

Webseite
Lokshtanov, Daniel Algorithmic Graph Theory and Parameterized Complexity

Webseite
McIver, Annabelle Program verification, quantitative information flow, computer security, privacy

Webseite
Mehlhorn, Kurt
Webseite
Morales, Dolores Data Science, Supply Chain Optimization, Revenue Management

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

Webseite
Shirmohammadi, Mahsa Automated Verification

Webseite
Silva, Alexandra Modular development of specification languages and algorithms for models of computations

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

Webseite
Telikepalli, Kavitha
Webseite
van Dijk, Tom formal verification and synthesis

Webseite
van Glabbeek, Rob Computational Logic and Formal Languages

Webseite
Walsh, Toby Artificial intelligence

Webseite
Worrell, James Logic in computer science; linear dynamical systems; automated verification

Webseite
Zuck, Lenore Theorem proving, formal methods, translation validation, formal analysis of security protocols

Webseite