UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic

Katoen, Joost-Pieter; Haehn, Rebecca; Liu, Daxin; Krabs, Tabea Claudia; Zieger, Stephan; Junges, Sebastian; Tauer, Björn Frederik; Hofmann, Till; Fischer, Dennis; Spel, Jip Josephine; Vargas Koch, Laura; Weik, Norman; Kaminski, Benjamin Lucien; Lindner, Peter; Schupp, Stefan; Klinger, Andreas Gabriel; Dannert, Katrin M.; Volk, Matthias; Pirogov, Anton; Ritzert, Martin; Friesen, Nadine; Comis, Martin; Ravindran Vijayalakshmi, Vipin; Wilke, Richard Marlon; Fuchs, Janosch; Bolke-Hermanns, Helene-Maria; Hark, Marcel Tobias

UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic

Katoen, Joost-Pieter^RWTH* ; Ritzert, Martin^RWTH* ; Wilke, Richard Marlon^RWTH* ; Dannert, Katrin M.^RWTH* ; Lindner, Peter^RWTH* ; Fischer, Dennis^RWTH* ; Fuchs, Janosch^RWTH* ; Tauer, Björn Frederik^RWTH* ; Ravindran Vijayalakshmi, Vipin^RWTH* ; Vargas Koch, Laura^RWTH* ; Friesen, Nadine^RWTH* ; Klinger, Andreas Gabriel^RWTH* ; Hark, Marcel Tobias^RWTH* ; Kaminski, Benjamin Lucien^RWTH* ; Junges, Sebastian^RWTH* ; Spel, Jip Josephine^RWTH* ; Pirogov, Anton^RWTH* ; Schupp, Stefan^RWTH* ; Hofmann, Till^RWTH* ; Liu, Daxin^RWTH* ; Comis, Martin^RWTH* ; Krabs, Tabea Claudia^RWTH* ; Zieger, Stephan^RWTH* ; Haehn, Rebecca^RWTH* ; Volk, Matthias^RWTH* ; Weik, Norman^RWTH* ; Bolke-Hermanns, Helene-Maria^RWTH*

2020

VerantwortlichkeitsangabeJoost-Pieter Katoen, Martin Ritzert, Richard Wilke, Katrin Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns

ImpressumAachen

Umfang85 Seiten

We - UnRAVels - want to introduce ourselves! This brochure lets you discover all of our research, everything that moves and shakes us, how we collaborate and how we embody our idea.

Online
URL: https://publications.rwth-aachen.de/record/807487/files/807487.pdf
URL: https://www.unravel.rwth-aachen.de/cms/UnRAVeL/Das-Graduiertenkolleg/Meldungen-Highlights/Meldungen-und-Highlights/~kqilg/UnRAVeL-Broschuere/lidx/1/

Einrichtungen