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@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 | |
Chatterjee, Krishnendu | Game theory in verification, Quantitative verification, Automata theory, Graph algorithmic approaches for verification, Evolutionary game theory, Computational problems in evolutionary graph theory | Krishnendu.Chatterjee@ist.ac.at 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 | 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 | |
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 | |
Guan, Ji | Webseite | ||
Hartmanns, Arnd | Modelling tools and formalisms for stochastic timed and hybrid systems | a.hartmanns@utwente.nl 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 | 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 | |
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 | Webseite | |
Klimm, Max | algorithmic game theory, efficient algorithms, operations research, mechanism design | klimm (at) tu-berlin.de Webseite | |
Kwiatkowska, Martha | Modelling and analysis methods for complex systems, Arising in computer networks | marta.kwiatkowska@cs.ox.ac.uk Webseite | |
Leroux, Jérôme | The Vector Addition System Reachability Problem | Webseite | |
Lokshtanov, Daniel | Algorithmic Graph Theory and Parameterized Complexity | daniello@ucsb.edu Webseite | |
Mardare, Radu | Modal logics, Structural operational semantics, Model theory, Quantitative systems, Markov processes | mardare@cs.aau.dk 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 | |
Mehlhorn, Kurt | 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 | |
Schaub, Michael | Analysis of complex systems | 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 | https://scholar.google.fr/citations?user=2YfzU3oAAAAJ&hl=en Webseite | |
Silva, Alexandra | Modular development of specification languages and algorithms for models of computations | 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 | |
Stoelinga, Mariëlle | Risk management for computer systems, Quantitative, Risk assessment, Model-based testing, Stochastic model checking | marielle@cs.utwente.nl Webseite | |
Telikepalli, Kavitha | Webseite | ||
Van den Broeck, Guy | Machine Learning, Knowledge Representation and Reasoning, Applications of Probabilistic Reasoning and Learning | guyvdb@cs.ucla.edu 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 | |
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 | |
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 | |
Ziemke, Theresa | Transport Modellierung und Simulation, Verkehrskontrolle und Optimierung, Algorithmische Spieltheorie | thunig@vsp.tu-berlin.de Webseite | |
Zuck, Lenore | Theorem proving, formal methods, translation validation, formal analysis of security protocols | zuck@uic.edu Webseite |