Guest Researchers

 

Quarter-day tutorials and/or condensed courses, two to four lectures, are given by national and international guest researchers on specialised aspects of uncertainty and randomness. These are intended to broaden the horizon of the doctoral researchers with actual topics in randomness and uncertainty that complement the competences and background of the participating professors. Participation in lectures of visiting researchers is obligatory for the doctorate researchers. This qualification programme part enables the doctorate researchers to get in touch with internationally well-established researchers. The contacts between the doctoral researchers and the visiting lecturers may be a step towards research visits and/or postdoctoral fellowships in the remainder of their scientific career. Finally, the visiting research programme increases the international visibility of the Research Training Group.

 
  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
Baier, Christel modeling, specification and verification of reactive systems, quantitative analysis of stochastic systems, probabilistic model checking, ...

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

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

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

Webseite
Bonakdarpour, Borzoo Security/Privacy, Cyber-physical Systems, Distributed Computing

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
Czerwinski, Wojciech automata and logic, more concretely infinite state systems and separability problems

Webseite
David, Cristina Programming languages, software verification, program synthesis

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

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

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

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

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

Webseite
Giesl, Peter
Webseite
Göke, Alexander
Webseite
Guan, Ji 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 Finding the limits of probabilistic and other quantitative model checking methods

Webseite
Jansen, Nils Intelligent decision-making under uncertainty, with a focus on formal reasoning about safety and dependability aspects in artificial intelligence (AI)

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

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

Webseite
190309_GyuKatz.jpg
Katz, Guy Formally verifying systems with machine-learned components, such as neural networks

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
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
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
Lehmann, Johannes Causality in formal systems
Webseite
Leroux, Jérôme The Vector Addition System Reachability Problem

Webseite
Lokshtanov, Daniel Algorithmic Graph Theory and Parameterized Complexity

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

Webseite
McIver, Annabelle Program verification, quantitative information flow, computer security, privacy

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

Webseite
Megow, Nicole Mathematical optimization, the theory of algorithm design and analysis, and operations research

Webseite
Mehlhorn, Kurt
Webseite
Friedhelm_meyeraufderheide.jpg
Meyer auf der Heide, Friedhelm Computing, communication and data management in networks, Dynamics in networks, Algorithms in computer graphics, Probabilistic analysis

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
Moosbrugger, Marcel AI, Formal Methods and Science Communication

Webseite
Morales, Dolores Data Science, Supply Chain Optimization, Revenue Management

Webseite
Morettin, Paolo Machine Learning, Artificial Intelligence

Webseite
676ff8b9-aedf-4d3b-a97c-aeaf1211a234.jpg
Nachtigall, Karl transportation systems, statistics

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

Webseite
Nosan, Klara program verification, algebraic computational complexity, invariant synthesis, model learning
Webseite
Federico Olmedo_face.jpg
Olmedo Beron, Federico Program semantics and verification, Probabilistic programming, Theorem provers, Language-based security

Webseite
Ouaknine, Joël Foundations of Algorithmic Verification and Theoretical Computer Science

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
Pfetsch, Marc Optimization

Webseite
Pontiggia, Francesco Probabilistic Hyperproperties, Model Checking, Formal Languages, Probabilistic Programming

Webseite
Rajaona, Fortunat Security Protocols, Multi-agent Epistemic Logics, Formal Methods in Computer Science

Webseite
Raskin, Jean-Francois
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
Schmidt, Stefan Webseite
190309_PascalSchweitzer.jpg
Schweitzer, Pascal Algorithms and Complexity

Webseite
Leon Sering.jpg
Sering, Leon Flows over time, game theory, graph theory and algorithms, integer programming, approximation algorithms, stochastic optimization

Webseite
Shirmohammadi, Mahsa Automated Verification

Webseite
Sickert, Salomon Intersection of formal methods and theoretical computer science

Webseite
Silva, Alexandra Modular development of specification languages and algorithms for models of computations

Webseite
Skutella, Martin
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
Telikepalli, Kavitha
Webseite
Thunig, Theresa Modeling and Simulation of Transport

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

Webseite
van der Vegt, Marck
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
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

Webseite
Venturato, Gabriele Declarative Languages and Artificial Intelligence

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

Webseite
Walsh, Toby Artificial intelligence

Webseite
Wolter, Frank Knowledge Representation and Reasoning, Logic in Computer Science

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
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

Webseite