Esparza, Javier Professor Ghoshdastidar, Debarghya Professor Křetínský, Jan Tenure track Runkler, Thomas Honorary professor Link, Claudia Secretary Azeem, Muqsit PhD Student Czerner, Philipp PhD Student Esser, Pascal Mattia PhD Student Fleissner, Maximilian PhD Student Grover, Kush PhD Student Guttenberg, Roland PhD Student Helfrich, Martin PhD Student Krämer, Julia PhD Student Lazic, Marijana Post-Doc Luttenberger, Michael Destroyer of all Mohr, Stefanie PhD Student Mukherjee, Satyaki Post-Doc Weil-Kennedy, Chana PhD Student Weininger, Maxi PhD Student Welzel, Christoph PhD Student

Automata and Formal Languages Bachelor-Praktikum - Lego Mindstorms Bachelor-Seminar - Petrinetze Complexity Theory Cryptography Data Mining und Knowledge Discovery Diskrete Strukturen Diskrete Wahrscheinlichkeitstheorie Effiziente Algorithmen und Datenstrukturen Einführung in die Informatik 2 Einführung in die Theoretische Informatik Forschungsarbeit unter Anleitung Fundamental Algorithms (CSE) Games on Graphs Logic Master-Seminar - Invariant Generation Master-Seminar - Never-ending Games Master-Seminar - Planning Algorithms Master-Seminar - Software Verification Master-Seminar - Theoretical Aspects of Computer Science Master-Seminar – Advanced Complexity Theory Model Checking Perlen der Informatik 1 Perlen der Informatik 2 Perlen der Informatik 3 Petri Nets Practical Course - Algorithms for Programming Contests Practical Course - Recent Advances in Model Checking Proseminar - SAT-Solving Quantitative Verification Seminar - Algorithms for the Undecided Seminar - Cryptography Seminar - Security and Verification (IN2107, IN0014) Statistical Foundations of Learning

2023 - sumar 2022 - wintar 2022 - sumar 2021 - wintar 2021 - sumar 2020 - wintar 2020 - sumar 2019 - wintar 2019 - sumar 2018 - wintar 2018 - sumar 2017 - wintar 2017 - sumar 2016 - wintar 2016 - sumar 2015 - wintar 2015 - sumar 2014 - wintar 2014 - sumar 2013 - wintar 2013 - sumar 2012 - wintar 2012 - sumar

My theory on Brontosauruses