Gäste 2019

 
  Name Forschungsgebiet Kontakt
2019_gurest_Shirmohammadi.jpgShirmohammadi, Mahsa Automated Verification

Webseite
Walsh, Toby Artificial intelligence

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

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

Webseite
190309_PascalSchweitzer.jpgSchweitzer, Pascal Algorithms and Complexity

Webseite
190309_GyuKatz.jpgKatz, Guy intercultural negotiations,

Webseite
Floris_GeertsGeerts, 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.jpgBarthe, 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