Diese Webseite nutzt technisch notwendige Cookies, um bestmögliche Funktionalität bieten zu können.
Weitere Informationen
Verstanden!
Zum Inhaltsbereich
Zur Hauptnavigation
Zur Suche
Suche
Fakultäten und Einrichtungen
Hauptseite RWTH
Studium
Vorlesungen und Seminare
Stammtisch
Bi-Weekly Meetings
Jährlicher Frühlingsworkshop
UnRAVeL Seminars
Sommerschulen und Workshops
Buchclub
Ringvorlesung "Biggest Milestones - Research at Its Peak"
Forschung
Publikationen
Laufende Dissertationsprojekte
Abgeschlossene Promotionen
Abgeschlossene Bachelor- und Masterarbeiten
Das Graduiertenkolleg
Profil
Team
Ombudsperson
DFG – deutsche Forschungsgemeinschaft
Aktuelle Veranstaltungen
Meldungen & Highlights
Veranstaltungsarchiv
Gender & Diversity
Gastwissenschaftlerinnen und -wissenschaftler
UnRAVeL Pinnwand
Stellenangebote
Intranet
Zurück
Vorlesungen und Seminare
Zurück
Stammtisch
Zurück
Bi-Weekly Meetings
Zurück
Jährlicher Frühlingsworkshop
Zurück
UnRAVeL Seminars
Zurück
Sommerschulen und Workshops
Zurück
Buchclub
Zurück
Ringvorlesung "Biggest Milestones - Research at Its Peak"
Zurück
Publikationen
Zurück
Laufende Dissertationsprojekte
Algorithmen und Komplexität
Verifikation
Logik und Sprachen
Applikationsszenarien
Zurück
Abgeschlossene Promotionen
Zurück
Abgeschlossene Bachelor- und Masterarbeiten
Zurück
Profil
Zurück
Team
Leitende Forschende
PhD-Studierende
Studentische Hilfskräfte
Management
Alumni
In Gedenken an Gerhard Woeginger
Zurück
Ombudsperson
Zurück
DFG – deutsche Forschungsgemeinschaft
Zurück
Aktuelle Veranstaltungen
Zurück
Meldungen & Highlights
Zurück
Veranstaltungsarchiv
Zurück
Gender & Diversity
Girls'Day - Mädchen Zukunftstag
PromotionsCafé
Kooperationen
Literatur und Medien
Kontakt
Zurück
Gastwissenschaftlerinnen und -wissenschaftler
Gäste 2017
Gäste 2018
Gäste 2019
Gäste 2020
Gäste 2021
Gäste 2022
Gäste 2023
Zurück
UnRAVeL Pinnwand
Zurück
Stellenangebote
Zurück
Fakultäten und Einrichtungen
Suche
Fakultäten und Institute
Mathematik, Informatik, Naturwissenschaften
Fakultät 1
Architektur
Fakultät 2
Bauingenieurwesen
Fakultät 3
Maschinenwesen
Fakultät 4
Georessourcen und Materialtechnik
Fakultät 5
Elektrotechnik und Informationstechnik
Fakultät 6
Philosophische Fakultät
Fakultät 7
Wirtschaftswissenschaften
Fakultät 8
Medizin
Fakultät 10
Einrichtungen
Universitätsbibliothek
IT Center
Center für Lehr- und Lernservices
Hochschulsport
Zentrale Hochschulverwaltung
Alle Einrichtungen
Logo: RWTH Aachen University
English
Suche
Hauptmenü
UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic
Gäste 2020
Name
Forschungsgebiet
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
Verwandte Themen
Letzte Aktualisierung : 10.02.2021
Auf LinkedIn teilen
Auf Xing teilen
Auf Twitter teilen
Auf Facebook teilen
Gastwissenschaftlerinnen und -wissenschaftler
Gäste 2017
Gäste 2018
Gäste 2019
Sie sind hier:
Gäste 2020
Gäste 2021
Gäste 2022
Gäste 2023
Zurück
nach oben
RWTH Startseite
Fakultät für Mathematik, Informatik, Naturwissenschaften
Fakultät für Wirtschaftswissenschaften
Fakultät für Bauingenieurwesen
facebook
Xing
Service
Einrichtungen
Kontakt und Lagepläne
Impressum
Sitemap
Datenschutzerklärung
Barrierefreiheitserklärung
Feedback
Fachgruppe Informatik
Universitätsbibliothek
Impressum
Datenschutzerklärung
Desktop-Seite
Abbrechen
Abbrechen