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	gavni@cs.haifa.ac.il Webseite
	Baier, Christel	modeling, specification and verification of reactive systems, quantitative analysis of stochastic systems, probabilistic model checking, ...	christel.baier@tu-dresden.de Webseite
	Barthe, Gilles	programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic	gjbarthe@gmail.com Webseite
	Belle, Vaishak	machine learning, knowledge representation, artificial intelligence, scalable probabilistic inference and learning, probabilistic programming, statistical relational learning, automated planning, reasoning about knowledge and uncertainty, cognitive robot	Webseite
	Berthon, Raphaël M. Sc.	Guarantees on learning systems, Automata learning, Interplay between certainty and probabilities in Games, Logic, Automata	raphael.berthon@ulb.be Webseite
	Bojańczyk, Mikołaj	Logic and Computational Complexity, WATA (Weighted Automata: Theory and Applications)	bojan@mimuw.edu.pl Webseite
	Bonakdarpour, Borzoo	Security/Privacy, Cyber-physical Systems, Distributed Computing	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
	Czerwinski, Wojciech	automata and logic, more concretely infinite state systems and separability problems	wczerwin@mimuw.edu.pl Webseite
	David, Cristina	Programming languages, software verification, program synthesis	cristina.david@bristol.ac.uk 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
	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	nathanael.fijalkow@gmail.com Webseite
	Fisman, Dana	Formal methods in system design	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
	Giacobbe, Mirco	Formal methods for safe artificial intelligence and symbolic and neuro-symbolic methods for the analysis of soft­ware and cyber-physical systems	mirco.giacobbe@cs.ox.ac.uk Webseite
	Giesl, Peter	Applied Mathematics, Pure Mathematics, Electrical and Electronic Engineering, Numerical and Computational Mathematics	P.A.Giesl@sussex.ac.uk Webseite
	Göke, Alexander		alexander.goeke@uni-bonn.de 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
	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	dn@science.ru.nl Webseite
	Jansen, Nils	Intelligent decision-making under uncertainty, with a focus on formal reasoning about safety and dependability aspects in artificial intelligence (AI)	n.jansen@cs.ru.nl Webseite
	Jansen, Nils	Formal verification, Analysis and synthesis of stochastic systems, Probabilistic programs	n.jansen@science.ru.nl Webseite
	Kassing, Sebastian	machine learning, stochastic processes appearing in the optimization of neural networks, the loss landscape in deep learning, stochastic approximation and stochastic analysis	skassing@math.uni-bielefeld.de 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
	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
	Klimm, Max	algorithmic game theory, efficient algorithms, operations research, mechanism design	klimm@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
	Lehmann, Johannes	Causality in formal systems	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
©Lars Horn / Baghuset.	Mardare, Radu	Modal logics, Structural operational semantics, Model theory, Quantitative systems, Markov processes	r.mardare@strath.ac.uk 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
	Megow, Nicole	Mathematical optimization, the theory of algorithm design and analysis, and operations research	nicole.megow@uni-bremen.de Webseite
	Mehlhorn, Kurt		mehlhorn@mpi-inf.mpg.de 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	joshua@cs.rwth-aachen.de Webseite
	Möhring, Rolf H.	Graph and network algorithms, Combinatorial optimization, Project scheduling, Operations research, Industrial applications	rolf.moehring@tu-berlin.de Webseite
	Moosbrugger, Marcel	AI, Formal Methods and Science Communication	marcel.moosbrugger@tuwien.ac.at Webseite
	Morales, Dolores	Data Science, Supply Chain Optimization, Revenue Management	drm.eco@cbs.dk Webseite
	Morettin, Paolo	Machine Learning, Artificial Intelligence	paolo.morettin@kuleuven.be Webseite
	Nachtigall, Karl	Verkehrssystemtheorie und Statistik	karl.nachtigall@tu-dresden.de Webseite
	Neider, Daniel	Verification of machine learning models, Explanability of artificial intelligence, Intelligent formal methods, Learning-based synthesis, Specification learning/recommendation, Incorporating automata learning and symbolic reasoning, Learning theory	neider@mpi-sws.org Webseite
	Nosan, Klara	program verification, algebraic computational complexity, invariant synthesis, model learning	Webseite
	Olmedo Beron, Federico	Program semantics and verification, Probabilistic programming, Theorem provers, Language-based security	folmedo@dcc.uchile.cl Webseite
	Ouaknine, Joël	Foundations of Algorithmic Verification and Theoretical Computer Science	joel@mpi-sws.org 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
	Pontiggia, Francesco	Probabilistic Hyperproperties, Model Checking, Formal Languages, Probabilistic Programming	francesco.pontiggia@tuwien.ac.at Webseite
	Rajaona, Fortunat	Security Protocols, Multi-agent Epistemic Logics, Formal Methods in Computer Science	s.rajaona@surrey.ac.uk Webseite
	Raskin, Jean-Francois		jean-francois.raskin@ulb.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	michael.schaub@rwth-aachen.de Webseite
	Schmidt, Stefan		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@irif.fr Webseite
	Sickert, Salomon	Intersection of formal methods and theoretical computer science	s.sickert@tum.de Webseite
	Silva, Alexandra	Modular development of specification languages and algorithms for models of computations	alexandra.silva@ucl.ac.uk Webseite
	Skutella, Martin		martin.skutella@tu-berlin.de 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		kavitha@tifr.res.in Webseite
	Thunig, Theresa	Modeling and Simulation of Transport	tziemke@vsp.tu-berlin.de Webseite
	Van den Broeck, Guy	Machine Learning, Knowledge Representation and Reasoning, Applications of Probabilistic Reasoning and Learning	guyvdb@cs.ucla.edu Webseite
	van der Vegt, Marck		marck.vandervegt2@ru.nl 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
	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
	Venturato, Gabriele	Declarative Languages and Artificial Intelligence	gabriele.venturato@kuleuven.be Webseite
	Verschae, José	Combinatorial optimization, Approximation and online algorithms, Scheduling theory, Network design	jverschae (at) uc (dot) cl 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
	Wolter, Frank	Knowledge Representation and Reasoning, Logic in Computer Science	Wolter@liverpool.ac.uk 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
	Ziegler, Martin	Knowledge Science, Computer Science of Continuous Data, Physics and Computation	Webseite
	Zuck, Lenore	Theorem proving, formal methods, translation validation, formal analysis of security protocols	zuck@uic.edu Webseite