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