This website uses technically necessary cookies to offer the best possible functionality.
Further Information

Skip to Content Skip to Main Navigation Skip to Search

Search

Faculties and Institutions

Main page RWTH

  1. 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"
  2. Research
    • Publications
    • Ongoing Dissertation Projects
    • Completed Doctorates
    • Completed Bachelor and Master Theses
  3. 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

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

                                      Faculties and Institutions

                                      Suche

                                      Faculties and Institutes

                                      • Mathematics, Computer Science and Natural SciencesFaculty 1
                                      • ArchitectureFaculty 2
                                      • Civil EngineeringFaculty 3
                                      • Mechanical EngineeringFaculty 4
                                      • Georesources and Materials EngineeringFaculty 5
                                      • Electrical Engineering and Information TechnologyFaculty 6
                                      • Arts and HumanitiesFaculty 7
                                      • Business and EconomicsFaculty 8
                                      • MedicineFaculty 10

                                      Institutions

                                      • University Library
                                      • IT Center
                                      • 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