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.jpg
Abate, Alessandro Analysis, verification, and optimal control of heterogeneous and complex dynamical models

Webseite
alejandro.aguirre.jpg
Aguirre, Alejandro Relational Type Systems, Probabilistic Programming

Webseite
Arming, Sebastian Computer Sciences

Webseite
Avni, Guy formal methods, quantitative formal methods, in game theory, algorithmic game theory

Webseite
GillesBarthe.jpg
Barthe, Gilles programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic

Webseite
Bojańczyk, Mikołaj Logic and Computational Complexity, WATA (Weighted Automata: Theory and Applications)

Webseite
Borzoo Bonakdarpour.jpg
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

Webseite
Budde, Carlos Formal methods and model verification, (probabilistic) model checking, Rare event simulation

Webseite
Carmeli, Nofar snofcacs.technion.ac.il
Webseite
Milan_Ceska.jpg
Češka, Milan Automated analysis, Verification research

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

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

Webseite
Esparza, Javier Algorithms, Verification, Software Model Checking, Program analysis

Webseite
nath2.jpg
Fijalkow, Nathanaël Games, Automata, and logic, Program verification, Learning theory, Dynamical systems and Process algebra

Webseite
Gatterbauer, Wolfgang Data management, Information management, Developing scalable approaches to perform inference over uncertain and networked data

Webseite
Floris_Geerts
Geerts, Floris Data quality, Big data, Databases

Webseite
Hella, Lauri mathematical logic and logic in computer science.

Webseite
Hermanns, Holger
Webseite
Hoffmann, Jan Programming languages and verification

Webseite
Hsu, Justin Programming principles, Logic, and Verification

Webseite
Jansen, David Webseite
guest_NilsJansen.jpg
Jansen, Nils Formal verification, Analysis and synthesis of stochastic systems, Probabilistic programs

Webseite
Mojgan Kamali.jpg
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

Webseite
190309_GyuKatz.jpg
Katz, Guy intercultural negotiations,

Webseite
Keller, Gabriele functional programming, type systems, high-performance computing, and programming language based approaches to verification

Webseite
Kern-Isberner, Gabriele Symbolische/qualitative und numerische/quantitative Methoden der Wissensrepräsentation (mit einem Fokus auf Default-Logiken und probabilistischer Logik)

Webseite
MaxKlimmnah.jpg
Klimm, Max algorithmic game theory, efficient algorithms, operations research, mechanism design

Webseite
marta-2014-mid.jpg©Studio8 Ltd
Kwiatkowska, Martha Modelling and analysis methods for complex systems, Arising in computer networks

Webseite
Capture.jpg©Lars Horn / Baghuset.
Mardare, Radu Modal logics, Structural operational semantics, Model theory, Quantitative systems, Markov processes

Webseite
Meel, Kuldeep intersection of artificial intelligence and formal methods, intersection of theory and practice

Webseite
Friedhelm_meyeraufderheide.jpg
Meyer auf der Heide, Friedhelm Rechnen, Kommunikation und Datenverwaltung in Netzwerken, Dynamik in Netzwerken, Algorithmen der Computergraphik, Randomisierungsmethoden

Webseite
Joshua Moerman.jpg
Moerman, Joshua Active automata learning, Algorithms, Functional programming, Homotopy theory, Coalgebra and category theory

Webseite
moehring.png
Möhring, Rolf H. Graph and network algorithms, Combinatorial optimization, Project scheduling, Operations research, Industrial applications

Webseite
676ff8b9-aedf-4d3b-a97c-aeaf1211a234.jpg
Nachtigall, Karl Verkehrssystemtheorie und Statistik

Webseite
Federico Olmedo_face.jpg
Olmedo Beron, Federico Program semantics and verification, Probabilistic programming, Theorem provers, Language-based security

Webseite
david-parker.jpg
Parker, David quantitative verification, robotics, computer security, systems biology, DNA computing

Webseite
Guillermo Alberto Perez.jpg
Pérez, Guillermo A. Embedded systems, Formal verification, Logic and automata, and Artificial intelligence

Webseite
Rothvoss, Thomas discrete optimization, linear/integer programming and theoretical computer science

Webseite
Schanzenbächer, Florian Research in demand-dependent traffic control
Webseite
Schaub, Michael Analysis of complex systems
Webseite
190309_PascalSchweitzer.jpg
Schweitzer, Pascal Algorithms and Complexity

Webseite
Leon Sering.jpg
Sering, Leon Dynamische Flussnetzwerke, Spieltheorie, Graphentheorie und -algorithmen, Ganzzahlige Programmierung, Approximationsalgorithmen, Stochastische Optimierung

Webseite
Shirmohammadi, Mahsa Automated Verification

Webseite
20190307_Stachniss.jpg
Stachniss, Cyrill Probabilistic Robotics, Localization, Mapping, SLAM, Bundle Adjustment, Visual and Laser Perception, Scene Analysis and Classification, Autonomous Cars, Logistics

Webseite
vkimg_B_40968.jpg
Steinbauer, Gerald autonomous mobile robots, model-based diagnosis, reasoning, planning and RoboCup

Webseite
Mariëlle.jpg©gijs@gijsvofoto.nl
Stoelinga, Mariëlle Risk management for computer systems, Quantitative, Risk assessment, Model-based testing, Stochastic model checking

Webseite
Theresa Thunig.jpg
Thunig, Theresa Transport Modellierung und Simulation, Verkehrskontrolle und Optimierung, Algorithmische Spieltheorie

Webseite
Van den Broeck, Guy Machine Learning, Knowledge Representation and Reasoning, Applications of Probabilistic Reasoning and Learning

Webseite
van Dijk, Tom formal verification and synthesis

Webseite
van Glabbeek, Rob Computational Logic and Formal Languages

Webseite
Foto-ENovation4U-KEEKMix-Sep2013-small.jpg
van Keulen, Maurice Data interoperability

Webseite
Walsh, Toby Artificial intelligence

Webseite
Worrell, James Logic in computer science; linear dynamical systems; automated verification

Webseite
Zhang, Lijun probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking

Webseite
Zuck, Lenore Theorem proving, formal methods, translation validation, formal analysis of security protocols

Webseite