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
Guests 2022
Name
Research Area
Kontakt
Baier
, Christel
modeling, specification and verification of reactive systems, quantitative analysis of stochastic systems, probabilistic model checking, ...
christel.baier@tu-dresden.de
Webseite
Megow
, Nicole
Mathematical optimization, the theory of algorithm design and analysis, and operations research
nicole.megow@uni-bremen.de
Webseite
Morettin
, Paolo
Machine Learning, Artificial Intelligence
paolo.morettin@kuleuven.be
Webseite
Ouaknine
, Joël
Foundations of Algorithmic Verification and Theoretical Computer Science
joel@mpi-sws.org
Webseite
Venturato
, Gabriele
Declarative Languages and Artificial Intelligence
gabriele.venturato@kuleuven.be
Webseite
last updated : 19/01/2022
Share on LinkedIn
Share on Xing
Share on Twitter
Share on Facebook
Guest Researchers
Guests 2017
Guests 2018
Guests 2019
Guests 2020
Guests 2021
You Are Here:
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