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@iastate.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
	Delgrange, Florent	Formal verification and strategy synthesis in stochastic systems, Partially observable probabilistic systems (like POMDPs), Reinforcement learning for verification and safety in reinforcement learning	florent.delgrange@umons.ac.be 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
	Geerts, Floris	Data quality, Big data, Databases	floris.geerts@uantwerpen.be Webseite
	Hella, Lauri	mathematical logic and logic in computer science.	lauri.hella@tuni.fi Webseite
	Hsu, Justin	Programming principles, Logic, and Verification	j.hsu@cs.ucl.ac.uk Webseite
	Jansen, David		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
	Klimm, Max	algorithmic game theory, efficient algorithms, operations research, mechanism design	max.klimm@hu-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
©Lars Horn / Baghuset.	Mardare, Radu	Modal logics, Structural operational semantics, Model theory, Quantitative systems, Markov processes	mardare@cs.aau.dk 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
	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	Mahsa.shirmohammadi@gmail.com 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
	Thunig, Theresa	Transport Modellierung und Simulation, Verkehrskontrolle und Optimierung, Algorithmische Spieltheorie	thunig@vsp.tu-berlin.de 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
	Walsh, Toby	Artificial intelligence	tw@cse.unsw.edu.au Webseite
	Zhang, Lijun	probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking	zhanglj@ios.ac.cn Webseite
	Zuck, Lenore	Theorem proving, formal methods, translation validation, formal analysis of security protocols	zuck@uic.edu Webseite