Gäste 2019

 
  Name Forschungsgebiet Kontakt
2019_gurest_Shirmohammadi.jpg
Shirmohammadi, Mahsa Automated Verification

Webseite
Walsh, Toby Artificial intelligence

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

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
190309_PascalSchweitzer.jpg
Schweitzer, Pascal Algorithms and Complexity

Webseite
190309_GyuKatz.jpg
Katz, Guy intercultural negotiations,

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

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
Avni, Guy formal methods, quantitative formal methods, in game theory, algorithmic game theory

Webseite
van Glabbeek, Rob Computational Logic and Formal Languages

Webseite
van Dijk, Tom formal verification and synthesis

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

Webseite
Schanzenbächer, Florian Research in demand-dependent traffic control
Webseite
Zuck, Lenore Theorem proving, formal methods, translation validation, formal analysis of security protocols

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

Webseite
Zhang, Lijun probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking

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

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

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

Webseite