Guest researcher 2020

 

Name	Research Area	Kontakt
Abate, Alessandro	Analysis, verification, and optimal control of heterogeneous and complex dynamical models	alessandro.abate@cs.ox.ac.uk Webseite
Carmeli, Nofar		snofcacs.technion.ac.il Webseite
Czerwinski, Wojciech	automata and logic, more concretely infinite state systems and separability problems	wczerwin@mimuw.edu.pl Webseite
Esparza, Javier	Algorithms, Verification, Software Model Checking, Program analysis	esparza@in.tum.de Webseite
Gatterbauer, Wolfgang	Data management, Information management, Developing scalable approaches to perform inference over uncertain and networked data	wolfgang@ccs.neu.edu Webseite
Hoffmann, Jan	Programming languages and verification	jhoffmann@cmu.edu Webseite
Kern-Isberner, Gabriele	Symbolische/qualitative und numerische/quantitative Methoden der Wissensrepräsentation (mit einem Fokus auf Default-Logiken und probabilistischer Logik)	gabriele.kern-isberner@cs.uni-dortmund.de 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	bennyk@cs.technion.ac.il Webseite
Meel, Kuldeep	intersection of artificial intelligence and formal methods, intersection of theory and practice	meel@comp.nus.edu.sg Webseite
Rothvoss, Thomas	discrete optimization, linear/integer programming and theoretical computer science	rothvoss@uw.edu Webseite
Schaub, Michael	Analysis of complex systems	michael.schaub@rwth-aachen.de Webseite
Sickert, Salomon	Intersection of formal methods and theoretical computer science	s.sickert@tum.de Webseite
Van den Broeck, Guy	Machine Learning, Knowledge Representation and Reasoning, Applications of Probabilistic Reasoning and Learning	guyvdb@cs.ucla.edu 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	vardi@cs.rice.edu Webseite
Wolter, Frank	Knowledge Representation and Reasoning, Logic in Computer Science	Wolter@liverpool.ac.uk Webseite
Zhang, Lijun	probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking	zhanglj@ios.ac.cn Webseite