Guest researcher 2020

 
Name Research Area Kontakt
Abate, Alessandro Analysis, verification, and optimal control of heterogeneous and complex dynamical models
Webseite
Carmeli, Nofar snofcacs.technion.ac.il
Webseite
Czerwinski, Wojciech automata and logic, more concretely infinite state systems and separability problems
Webseite
Esparza, Javier Algorithms, Verification, Software Model Checking, Program analysis
Webseite
Gatterbauer, Wolfgang Data management, Information management, Developing scalable approaches to perform inference over uncertain and networked data
Webseite
Hoffmann, Jan Programming languages and verification
Webseite
Kern-Isberner, Gabriele Symbolische/qualitative und numerische/quantitative Methoden der Wissensrepräsentation (mit einem Fokus auf Default-Logiken und probabilistischer Logik)
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
Meel, Kuldeep intersection of artificial intelligence and formal methods, intersection of theory and practice
Webseite
Rothvoss, Thomas discrete optimization, linear/integer programming and theoretical computer science
Webseite
Schaub, Michael Analysis of complex systems
Webseite
Sickert, Salomon Intersection of formal methods and theoretical computer science
Webseite
Van den Broeck, Guy Machine Learning, Knowledge Representation and Reasoning, Applications of Probabilistic Reasoning and Learning
Webseite
Vardi, Moshe automated reasoning, a branch of Artificial Intelligence with broad applications to computer science, including machine learning, database theory, computational-complexity theory, knowledge in multi-agent systems, computer-aided verification
Webseite
Wolter, Frank Knowledge Representation and Reasoning, Logic in Computer Science
Webseite
Zhang, Lijun probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking
Webseite
 

Similar Topics