Gastwissenschaftlerinnen und -wissenschaftler

 

Nationale und internationale Gastwissenschaftlerinnen und Gastwissenschaftler halten vierteljährlich Tutorien und konzentrierte Kurse in zwei bis vier Einheiten über Detailaspekte spezifischer UnRAVeL-Themen.

 

	Name	Forschungsgebiet	Kontakt
	Abate, Alessandro	Analysis, verification, and optimal control of heterogeneous and complex dynamical models	alessandro.abate@cs.ox.ac.uk Webseite
	Aguirre, Alejandro	Relational Type Systems, Probabilistic Programming	alejandro.aguirre@imdea.org Webseite
	Arming, Sebastian	Computer Sciences	sebastian.arming@sbg.ac.at Webseite
	Avni, Guy	formal methods, quantitative formal methods, in game theory, algorithmic game theory	guy.avni@ist.ac.at Webseite
	Barthe, Gilles	programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic	gjbarthe@gmail.com Webseite
	Bojańczyk, Mikołaj	Logic and Computational Complexity, WATA (Weighted Automata: Theory and Applications)	bojan@mimuw.edu.pl Webseite
	Bonakdarpour, Borzoo	Distributed autonomous vehicle routing, Information-flow security, Resource-aware runtime monitoring of cyber-physical systems, Synthesis and model-based implementation of distributed applications	borzoo@msu.edu Webseite
	Budde, Carlos	Formal methods and model verification, (probabilistic) model checking, Rare event simulation	c.e.budde@utwente.nl Webseite
	Carmeli, Nofar		snofcacs.technion.ac.il Webseite
	Češka, Milan	Automated analysis, Verification research	ceska@fit.vutbr.cz 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	Krishnendu.Chatterjee@ist.ac.at Webseite
	Delgrange, Florent	Reinforcement learning, Multi-agent systems, Model checking and synthesis, Planning under uncertainty and partial observability	Webseite
	Esparza, Javier	Algorithms, Verification, Software Model Checking, Program analysis	esparza@in.tum.de Webseite
	Fijalkow, Nathanaël	Games, Automata, and logic, Program verification, Learning theory, Dynamical systems and Process algebra	nfijalkow@turing.ac.uk Webseite
	Gatterbauer, Wolfgang	Data management, Information management, Developing scalable approaches to perform inference over uncertain and networked data	wolfgang@ccs.neu.edu Webseite
	Geerts, Floris	Data quality, Big data, Databases	floris.geerts@uantwerpen.be Webseite
	Guan, Ji		Webseite
	Hartmanns, Arnd	Modelling tools and formalisms for stochastic timed and hybrid systems	a.hartmanns@utwente.nl Webseite
	Hella, Lauri	mathematical logic and logic in computer science.	lauri.hella@tuni.fi Webseite
	Hermanns, Holger		hermanns@cs.uni-saarland.de Webseite
	Hoffmann, Jan	Programming languages and verification	jhoffmann@cmu.edu Webseite
	Hsu, Justin	Programming principles, Logic, and Verification	j.hsu@cs.ucl.ac.uk Webseite
	Jansen, David	Finding the limits of probabilistic and other quantitative model checking methods	Webseite
	Jansen, Nils	Formal verification, Analysis and synthesis of stochastic systems, Probabilistic programs	n.jansen@science.ru.nl Webseite
	Kamali, Mojgan	Formal modelling and protocal verification, Model checking technique for network analysis, Specification and verification of distributed and real-time systems, Abstraction and refinement, Correct-by-construction development	mojgan.kamali@abo.fi, Webseite
	Katz, Guy	intercultural negotiations,	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
	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	Webseite
	Klimm, Max	algorithmic game theory, efficient algorithms, operations research, mechanism design	klimm (at) tu-berlin.de Webseite
©Studio8 Ltd	Kwiatkowska, Martha	Modelling and analysis methods for complex systems, Arising in computer networks	marta.kwiatkowska@cs.ox.ac.uk Webseite
	Leroux, Jérôme	The Vector Addition System Reachability Problem	Webseite
	Lokshtanov, Daniel	Algorithmic Graph Theory and Parameterized Complexity	daniello@ucsb.edu Webseite
©Lars Horn / Baghuset.	Mardare, Radu	Modal logics, Structural operational semantics, Model theory, Quantitative systems, Markov processes	mardare@cs.aau.dk Webseite
	McIver, Annabelle	Program verification, quantitative information flow, computer security, privacy	annabelle.mciver@mq.edu.au Webseite
	Meel, Kuldeep	intersection of artificial intelligence and formal methods, intersection of theory and practice	meel@comp.nus.edu.sg Webseite
	Mehlhorn, Kurt		Webseite
	Meyer auf der Heide, Friedhelm	Rechnen, Kommunikation und Datenverwaltung in Netzwerken, Dynamik in Netzwerken, Algorithmen der Computergraphik, Randomisierungsmethoden	fmadh@upb.de Webseite
	Moerman, Joshua	Active automata learning, Algorithms, Functional programming, Homotopy theory, Coalgebra and category theory	moerman@science.ru.nl Webseite
	Möhring, Rolf H.	Graph and network algorithms, Combinatorial optimization, Project scheduling, Operations research, Industrial applications	rolf.moehring@tu-berlin.de Webseite
	Nachtigall, Karl	Verkehrssystemtheorie und Statistik	karl.nachtigall@tu-dresden.de Webseite
	Olmedo Beron, Federico	Program semantics and verification, Probabilistic programming, Theorem provers, Language-based security	folmedo@dcc.uchile.cl Webseite
	Parker, David	quantitative verification, robotics, computer security, systems biology, DNA computing	d.a.parker@cs.bham.ac.uk Webseite
	Pérez, Guillermo A.	Embedded systems, Formal verification, Logic and automata, and Artificial intelligence	guillermoalberto.perez@uantwerpen.be Webseite
	Rothvoss, Thomas	discrete optimization, linear/integer programming and theoretical computer science	rothvoss@uw.edu Webseite
	Schanzenbächer, Florian	Research in demand-dependent traffic control	Webseite
	Schaub, Michael	Analysis of complex systems	Webseite
	Schweitzer, Pascal	Algorithms and Complexity	schweitzer@cs.uni-kl.de Webseite
	Sering, Leon	Dynamische Flussnetzwerke, Spieltheorie, Graphentheorie und -algorithmen, Ganzzahlige Programmierung, Approximationsalgorithmen, Stochastische Optimierung	sering@math.tu-berlin.de Webseite
	Shirmohammadi, Mahsa	Automated Verification	https://scholar.google.fr/citations?user=2YfzU3oAAAAJ&hl=en Webseite
	Silva, Alexandra	Modular development of specification languages and algorithms for models of computations	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
	Steinbauer, Gerald	autonomous mobile robots, model-based diagnosis, reasoning, planning and RoboCup	steinbauer@ist.TUGraz.at Webseite
©gijs@gijsvofoto.nl	Stoelinga, Mariëlle	Risk management for computer systems, Quantitative, Risk assessment, Model-based testing, Stochastic model checking	marielle@cs.utwente.nl Webseite
	Telikepalli, Kavitha		Webseite
	Van den Broeck, Guy	Machine Learning, Knowledge Representation and Reasoning, Applications of Probabilistic Reasoning and Learning	guyvdb@cs.ucla.edu 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
	van Keulen, Maurice	Data interoperability	m.vankeulen@utwente.nl Webseite
	Viswanathan, Mahesh	algorithm design, automata theory, and logic with applications to algorithmic verification of systems	vmahesh@illinois.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
	Zhang, Lijun	probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking	zhanglj@ios.ac.cn Webseite
	Ziemke, Theresa	Transport Modellierung und Simulation, Verkehrskontrolle und Optimierung, Algorithmische Spieltheorie	thunig@vsp.tu-berlin.de Webseite
	Zuck, Lenore	Theorem proving, formal methods, translation validation, formal analysis of security protocols	zuck@uic.edu Webseite