Guest researcher 2019

	Name	Research Area	Kontakt
	Avni, Guy	formal methods, quantitative formal methods, in game theory, algorithmic game theory	gavni@cs.haifa.ac.il Webseite
	Barthe, Gilles	programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic	gjbarthe@gmail.com Webseite
	Budde, Carlos	Formal methods and model verification, (probabilistic) model checking, Rare event simulation	c.e.budde@utwente.nl Webseite
	Delgrange, Florent	Reinforcement learning, Multi-agent systems, Model checking and synthesis, Planning under uncertainty and partial observability	florent.delgrange@ai.vub.ac.be Webseite
	Geerts, Floris	Data quality, Big data, Databases	floris.geerts@uantwerpen.be Webseite
	Guan, Ji		Webseite
	Hella, Lauri	mathematical logic and logic in computer science.	lauri.hella@tuni.fi Webseite
	Hermanns, Holger		hermanns@cs.uni-saarland.de Webseite
	Jansen, David	Finding the limits of probabilistic and other quantitative model checking methods	dn@science.ru.nl Webseite
	Katz, Guy	Formally verifying systems with machine-learned components, such as neural networks	guykatz@cs.huji.ac.il Webseite
	Keller, Gabriele	functional programming, type systems, high-performance computing, and programming language based approaches to verification	g.k.keller@uu.nl Webseite
	Klimm, Max	algorithmic game theory, efficient algorithms, operations research, mechanism design	klimm@tu-berlin.de Webseite
	Leroux, Jérôme	The Vector Addition System Reachability Problem	jerome.leroux@labri.fr Webseite
	Lokshtanov, Daniel	Algorithmic Graph Theory and Parameterized Complexity	daniello@ucsb.edu Webseite
	McIver, Annabelle	Program verification, quantitative information flow, computer security, privacy	annabelle.mciver@mq.edu.au Webseite
	Mehlhorn, Kurt		mehlhorn@mpi-inf.mpg.de Webseite
	Morales, Dolores	Data Science, Supply Chain Optimization, Revenue Management	drm.eco@cbs.dk Webseite
	Schanzenbächer, Florian	Research in demand-dependent traffic control	Webseite
	Schweitzer, Pascal	Algorithms and Complexity	schweitzer@cs.uni-kl.de Webseite
	Shirmohammadi, Mahsa	Automated Verification	mahsa@irif.fr Webseite
	Silva, Alexandra	Modular development of specification languages and algorithms for models of computations	alexandra.silva@ucl.ac.uk Webseite
	Stachniss, Cyrill	Probabilistic Robotics, Localization, Mapping, SLAM, Bundle Adjustment, Visual and Laser Perception, Scene Analysis and Classification, Autonomous Cars, Logistics	cyrill.stachniss@igg.uni-bonn.de Webseite
	Telikepalli, Kavitha		kavitha@tifr.res.in Webseite
	van Dijk, Tom	formal verification and synthesis	t.vandijk@utwente.nl Webseite
	van Glabbeek, Rob	Computational Logic and Formal Languages	rvg@cs.stanford.edu Webseite
	Walsh, Toby	Artificial intelligence	tw@cse.unsw.edu.au Webseite
	Worrell, James	Logic in computer science; linear dynamical systems; automated verification	jbw@cs.ox.ac.uk Webseite
	Zuck, Lenore	Theorem proving, formal methods, translation validation, formal analysis of security protocols	zuck@uic.edu Webseite