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 2020
Name
Research Area
Kontakt
Abate
, Alessandro
Analysis, verification, and optimal control of heterogeneous and complex dynamical models
alessandro.abate@cs.ox.ac.uk
Webseite
Carmeli
, Nofar
snofcacs.technion.ac.il
Webseite
Czerwinski
, Wojciech
automata and logic, more concretely infinite state systems and separability problems
wczerwin@mimuw.edu.pl
Webseite
Esparza
, Javier
Algorithms, Verification, Software Model Checking, Program analysis
esparza@in.tum.de
Webseite
Gatterbauer
, Wolfgang
Data management, Information management, Developing scalable approaches to perform inference over uncertain and networked data
wolfgang@ccs.neu.edu
Webseite
Hoffmann
, Jan
Programming languages and verification
jhoffmann@cmu.edu
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
Meel
, Kuldeep
intersection of artificial intelligence and formal methods, intersection of theory and practice
meel@comp.nus.edu.sg
Webseite
Rothvoss
, Thomas
discrete optimization, linear/integer programming and theoretical computer science
rothvoss@uw.edu
Webseite
Schaub
, Michael
Analysis of complex systems
michael.schaub@rwth-aachen.de
Webseite
Sickert
, Salomon
Intersection of formal methods and theoretical computer science
s.sickert@tum.de
Webseite
Van den Broeck
, Guy
Machine Learning, Knowledge Representation and Reasoning, Applications of Probabilistic Reasoning and Learning
guyvdb@cs.ucla.edu
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
Wolter
, Frank
Knowledge Representation and Reasoning, Logic in Computer Science
Wolter@liverpool.ac.uk
Webseite
Zhang
, Lijun
probabilistic models, simulation reduction, decision algorithms for probabilistic simulation preorders, abstraction and model checking
zhanglj@ios.ac.cn
Webseite
Similar Topics
last updated : 10/02/2021
Share on LinkedIn
Share on Xing
Share on Twitter
Share on Facebook
Guest Researchers
Guests 2017
Guests 2018
Guests 2019
You Are Here:
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