Gäste 2018

 

Nationale und internationale Gastwissenschafterlinnen und Gastwissenschaftler halten vierteljährlich Tutorien und konzentrierte Kurse über 2 - 4 Einheiten über Detailaspekte über die spezifischen 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
	Bojańczyk, Mikołaj	Logic and Computational Complexity, WATA (Weighted Automata: Theory and Applications)	bojan@mimuw.edu.pl Webseite
	Češka, Milan	Automated analysis, Verification research	ceska@fit.vutbr.cz Webseite
	Fijalkow, Nathanaël	Games, Automata, and logic, Program verification, Learning theory, Dynamical systems and Process algebra	nathanael.fijalkow@gmail.com Webseite
	Göke, Alexander		alexander.goeke@uni-bonn.de Webseite
	Hsu, Justin	Programming principles, Logic, and Verification	j.hsu@cs.ucl.ac.uk Webseite
©Lars Horn / Baghuset.	Mardare, Radu	Modal logics, Structural operational semantics, Model theory, Quantitative systems, Markov processes	r.mardare@strath.ac.uk Webseite
	Meyer auf der Heide, Friedhelm	Rechnen, Kommunikation und Datenverwaltung in Netzwerken, Dynamik in Netzwerken, Algorithmen der Computergraphik, Randomisierungsmethoden	fmadh@upb.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
	Pfetsch, Marc	Optimization	pfetsch@mathematik.tu-darmstadt.de Webseite
	Schmidt, Stefan		Webseite
	Sering, Leon	Dynamische Flussnetzwerke, Spieltheorie, Graphentheorie und -algorithmen, Ganzzahlige Programmierung, Approximationsalgorithmen, Stochastische Optimierung	sering@math.tu-berlin.de Webseite
	Skutella, Martin		martin.skutella@tu-berlin.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	Modeling and Simulation of Transport	tziemke@vsp.tu-berlin.de Webseite
	van Keulen, Maurice	Data interoperability	m.vankeulen@utwente.nl Webseite