This website uses technically necessary cookies to offer the best possible functionality.
Further Information
Accept!
Skip to Content
Skip to Main Navigation
Skip to Search
Search
Faculties and Institutions
Main page RWTH
Academics
Lectures and seminars
Regulars Table
Bi-Weekly Meetings
Annual Spring Workshop
UnRAVeL Seminars
Summer Schools and Workshops
Reading Groups
Survey Lecture "Biggest Milestones - Research at Its Peak"
Research
Publications
Ongoing Dissertation Projects
Completed Doctorates
Completed Bachelor and Master Theses
The Research Training Group
Profile
People
Ombudsperson
DFG - German Research Foundation
Upcoming Events
Announcements & Highlights
Archive of Events
Gender & Diversity
Guest Researchers
UnRAVeL Notice Board
Job Openings
Intranet
Back
Lectures and seminars
Back
Regulars Table
Back
Bi-Weekly Meetings
Back
Annual Spring Workshop
Back
UnRAVeL Seminars
Back
Summer Schools and Workshops
Back
Reading Groups
Back
Survey Lecture "Biggest Milestones - Research at Its Peak"
Back
Publications
Back
Ongoing Dissertation Projects
Algorithms and Complexity
Verification
Logic and Languages
Application Scenarios
Back
Completed Doctorates
Back
Completed Bachelor and Master Theses
Back
Profile
Back
People
Supervisors
Phd Students
Student Assistants
Management
Alumni
In Memory of Gerhard Woeginger
Back
Ombudsperson
Back
DFG - German Research Foundation
Back
Upcoming Events
Back
Announcements & Highlights
Back
Archive of Events
Back
Gender & Diversity
Girls'Day
PromotionsCafé
Cooperations
Literature and Media
Contact
Back
Guest Researchers
Guests 2017
Guests 2018
Guests 2019
Guests 2020
Guests 2021
Guests 2022
Guests 2023
Back
UnRAVeL Notice Board
Back
Job Openings
Back
Faculties and Institutions
Suche
Faculties and Institutes
Mathematics, Computer Science and Natural Sciences
Faculty 1
Architecture
Faculty 2
Civil Engineering
Faculty 3
Mechanical Engineering
Faculty 4
Georesources and Materials Engineering
Faculty 5
Electrical Engineering and Information Technology
Faculty 6
Arts and Humanities
Faculty 7
Business and Economics
Faculty 8
Medicine
Faculty 10
Institutions
University Library
IT Center
Center for Teaching and Learning Services
Athletics and Recreation
Central University Administration
All Institutions
Logo: RWTH Aachen University
Deutsch
Search
Main menu
UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic
Guest researcher 2019
Name
Research Area
Kontakt
Avni
, Guy
formal methods, quantitative formal methods, in game theory, algorithmic game theory
gavni@cs.haifa.ac.il
Webseite
Barthe
, Gilles
programming languages and program verification, software and system security, cryptography, privacy, and mathematical logic
gjbarthe@gmail.com
Webseite
Budde
, Carlos
Formal methods and model verification, (probabilistic) model checking, Rare event simulation
c.e.budde@utwente.nl
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
Geerts
, Floris
Data quality, Big data, Databases
floris.geerts@uantwerpen.be
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
Jansen
, David
Finding the limits of probabilistic and other quantitative model checking methods
dn@science.ru.nl
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
Klimm
, Max
algorithmic game theory, efficient algorithms, operations research, mechanism design
klimm@tu-berlin.de
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
McIver
, Annabelle
Program verification, quantitative information flow, computer security, privacy
annabelle.mciver@mq.edu.au
Webseite
Mehlhorn
, Kurt
mehlhorn@mpi-inf.mpg.de
Webseite
Morales
, Dolores
Data Science, Supply Chain Optimization, Revenue Management
drm.eco@cbs.dk
Webseite
Schanzenbächer
, Florian
Research in demand-dependent traffic control
Webseite
Schweitzer
, Pascal
Algorithms and Complexity
schweitzer@cs.uni-kl.de
Webseite
Shirmohammadi
, Mahsa
Automated Verification
mahsa@irif.fr
Webseite
Silva
, Alexandra
Modular development of specification languages and algorithms for models of computations
alexandra.silva@ucl.ac.uk
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
Telikepalli
, Kavitha
kavitha@tifr.res.in
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
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
Zuck
, Lenore
Theorem proving, formal methods, translation validation, formal analysis of security protocols
zuck@uic.edu
Webseite
last updated : 12/05/2021
Share on LinkedIn
Share on Xing
Share on Twitter
Share on Facebook
Guest Researchers
Guests 2017
Guests 2018
You Are Here:
Guests 2019
Guests 2020
Guests 2021
Guests 2022
Guests 2023
Back
top
RWTH Main Page
Faculty of Mathematics, Computer Science and Natural Sciences
Business and Economics
Faculty of Civil Engineering
facebook
Xing
Services
Institutions
Contact and Maps
Site Credits
Site Map
Privacy Policy
Accessibility Statement
Feedback
Department of Computer Science
University Library
Site Credits
Privacy Policy
Desktop Version
Cancel
Cancel