Guest researcher 2020

 
  Name Research Area Kontakt
Esparza, Javier Algorithms, Verification, Software Model Checking, Program analysis

Webseite
Carmeli, Nofar snofcacs.technion.ac.il
Webseite
Rothvoss, Thomas discrete optimization, linear/integer programming and theoretical computer science

Webseite
Schaub, Michael Analysis of complex systems
Webseite
Gatterbauer, Wolfgang Data management, Information management, Developing scalable approaches to perform inference over uncertain and networked data

Webseite
Kern-Isberner, Gabriele Symbolische/qualitative und numerische/quantitative Methoden der Wissensrepräsentation (mit einem Fokus auf Default-Logiken und probabilistischer Logik)

Webseite
Chatterjee, Krishnendu Game theory in verification, Quantitative verification, Automata theory, Graph algorithmic approaches for verification, Evolutionary game theory, Computational problems in evolutionary graph theory

Webseite
Hoffmann, Jan Programming languages and verification

Webseite
Van den Broeck, Guy Machine Learning, Knowledge Representation and Reasoning, Applications of Probabilistic Reasoning and Learning

Webseite
Meel, Kuldeep intersection of artificial intelligence and formal methods, intersection of theory and practice

Webseite
Kimelfeld, Benny foundational and systems aspects of data management, enumeration of query results, probabilistic, incomplete and inconsistent databases, infrastructure for text analytics, databases for preferences and social choice, and database aspects of machine learn
Webseite