RWTH AACHEN UNIVERSITY UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic - Deutsch

Diese Webseite nutzt technisch notwendige Cookies, um bestmögliche Funktionalität bieten zu können.

Weitere Informationen

UnRAVeL Broschüre

Urheberrecht: © UnRAVeL

UnRAVeL Broschüre mehrzu: UnRAVeL Broschüre

Ein Gruppenfoto der UnRAVeL Mitglider

UnRAVeL Spring Workshop 2023 mehrzu: UnRAVeL Spring Workshop 2023

Poster Ringvorlesung 2023

Ringvorlesung 2023 mehrzu: Ringvorlesung 2023

Das WoCa Team bei der Brigitte-Gilles-Preis Preisverleihung

Urheberrecht: © Heike Lachmann

WoCa Lunch mit Brigitte-Gilles-Preis ausgezeichnet mehrzu: WoCa Lunch mit Brigitte-Gilles-Preis ausgezeichnet

Joost-Pieter Katoen, Till Hoffmann und Gerhard Lakemeyer

Till Hoffmann erhält den Young Researcher Award 2022 mehrzu: Till Hoffmann erhält den Young Researcher Award 2022

Übersichtskarte zum Podcast

Urheberrecht: © VDI

Nils Nießen im Podcast "TECHNIK AUFS OHR" des VDI mehrzu: Nils Nießen im Podcast "TECHNIK AUFS OHR" des VDI

Daxin Liu

Urheberrecht: © Joost Pieter Katoen

Abgeschlossene Promotion: Daxin Liu mehrzu: Abgeschlossene Promotion: Daxin Liu

Rebecca Haehn

Abgeschlossene Promotion: Rebecca Haehn mehrzu: Abgeschlossene Promotion: Rebecca Haehn

Test of Time Award. Katoen

Test-of-Time Award für Joost-Pieter Katoen mehrzu: Test-of-Time Award für Joost-Pieter Katoen

Gerhard Woeginger, verstorben am 1.4.022

UnRAVeL gedenkt Gerhard Woeginger mehrzu: UnRAVeL gedenkt Gerhard Woeginger

UnRAVeL PHDs bei der 50 Jahr Feier

Ehrung der UnRAVeL-Doktoren bei der 50-Jahr-Feier mehrzu: Ehrung der UnRAVeL-Doktoren bei der 50-Jahr-Feier

Matthias Volk

Urheberrecht: © Martin Braun

Matthias Volk erhält für seine Dissertation den Manfred-Nagl-Preis mehrzu: Matthias Volk erhält für seine Dissertation den Manfred-Nagl-Preis

Sektgläser bei der 50 Jahr Feier

Urheberrecht: © Martin Braun

UnRAVeLs bei der 50 Jahre Informatik Feier mehrzu: UnRAVeLs bei der 50 Jahre Informatik Feier

Janosch Fuchs

Abgeschlossene Promotion: Janosch Fuchs mehrzu: Abgeschlossene Promotion: Janosch Fuchs

Das Carologistics team

Urheberrecht: © Peter Kohout, Team GRIPS

Siebter Weltmeistertitel für Aachener Carologistics beim RoboCup 2022 Thailand in der Logistics League mehrzu: Siebter Weltmeistertitel für Aachener Carologistics beim RoboCup 2022 Thailand in der Logistics League

Joost-Pieter Katoen

Urheberrecht: © Tim Lange

Joost-Pieter Katoen in die NRW-Akademie der Wissenschaften und der Künste aufgenommen mehrzu: Joost-Pieter Katoen in die NRW-Akademie der Wissenschaften und der Künste aufgenommen

Martin Grohe

Urheberrecht: © Peter Winandy

ERC Advanced Grants für Martin Grohe mehrzu: ERC Advanced Grants für Martin Grohe

Gut betreut in UnRAVeL

Urheberrecht: © Valentin Bister

Gut betreut in UnRAVeL mehrzu: Gut betreut in UnRAVeL

Professor Katoen im Interview

Urheberrecht: © RWTH Aachen

Interview mit Professor Katoen mehrzu: Interview mit Professor Katoen

Aktuelle Veranstaltungen

14.
Jun
2023
Bi-Weekly Talk: Eleanore Meyer: Termination Analysis of Simple Randomised Linear Programs
15.
Jun
2023
Ringvorlesung: Britta Peis: Ascending Auctions and Matroids
22.
Jun
2023
Ringvorlesung: Gerhard Lakemeyer: The Situation Calculus as Lingua Franca for Reasoning about Action
Weitere Veranstaltungen

Meldungen

05.06.2023
UnRAVeL Spring Workshop 2023
23.05.2023
Akzeptiertes Paper von Daxin Liu, Qihui Feng, Vaishak Belle und Gerhard Lakemeyer
09.05.2023
Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award
Weitere Meldungen

Ringvorlesung: Biggest Milestones - Research at Its Peak

Wir laden herzlich zur diesjährigen UnRAVeL-Ringvorlesung ein!

UnRAVeL-Professorinnen und -Professoren stellen den wichtigsten Meilenstein ihrer jeweiligen Forschung vor.

mehr...zu: Ringvorlesung: Biggest Milestones - Research at Its Peak

Kontakt

Joost-Pieter Katoen

© Urheberrecht: Tim Lange

Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen

Ahornstr. 55 RWTH Navigator

52074 Aachen

WorkTelefon: +49 241 80 21004

FaxFax: +49 241 80 22217

E-Mail schreiben

RWTH

Service

Soziale Medien

Einrichtungen