UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic
Internal UnRAVeL workshop
Wednesday, December 09, 2020, 4:00pm
| Project | Name |
| Introduction | Joost-Pieter Katoen |
| LO4 | Wilke, Richard |
| LO6 | Seppelt, Tim |
| LO5 | Ritzert, Martin |
| LO2 | Pirogov, Anton |
| LO 1 | Liu, Daxin |
| LO3 | Lindner, Peter |
| AL 1 | Fuchs, Janosch |
| AL 2 | Fischer, Dennis |
| AL 10 | Katharina Eickhoff |
| AL 5 | Comis, Martin |
| AL6 | Tauer, Björn |
| AL7 | Grüne, Christoph |
| AL8 | Haehn, Rebecca |
| AL9 | Muluk, Komal |
| VE1 | Winkler, Tobias |
| VE2 | Volk, Matthias |
| VE3 | Spel, Jip |
| VE4 | Hark, Marcel |
| VE5 | Nalbach, Jasper |
| VE6 | Meier, Dominik |
| AP 1 | Klinger, Andreas |
| AP 2 | Zieger, Stephan |
| AP 3 | Krabs, Tabea |
| AP 5 | Friesen, Nadine |
| AP 6 | Hofmann, Till |
last updated : 22/03/2021