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

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

08.
Feb
2023
Bi-Weekly Talk: Jan-Christoph Kassing: Analyzing Almost-Sure Termination of Probabilistic Term Rewriting via Innermost Almost-Sure Termination
22.
Feb
2023
Bi-Weekly Talk: Nadine Friesen
08.
Mär
2023
Bi-Weekly Talk: Tarik Viehmann
Weitere Veranstaltungen

Meldungen

13.01.2023
Akzeptiertes Paper von Qihui Feng und Daxin Liu
13.01.2023
Akzeptiertes Paper von Tobias Winkler und Joost-Pieter Katoen
13.01.2023
Till Hoffmann erhält den Young Researcher Award 2022
Weitere Meldungen

Abgeschlossene Promotionen

Bis jetzt wurden bereits 18 Promotionen im Rahmen von UnRAVeL erfolgreich abgeschlossen.

Eine Übersicht über die abgeschlossenen Projekte finden Sie auf der Seite der abgeschlossenen Promotionen!

mehr...zu: Abgeschlossene Promotionen

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