Departmental and research colloquium
The goal of the Computer Science Colloquium is to connect students and faculty with the latest scientific developments in computer science. The program accommodates students and faculty with diverse interests, spanning from algorithms, machine learning, and data science to software development and computer vision. Leading experts address fundamental questions in their respective research areas.
Talk dates in the summer semester 2024
Wednesday, 1:30-3:00 pm in ZT 1204 (Data Theater), if not otherwise specified.
| Date | Speaker | Talk |
|---|---|---|
| 10.04.24 | Tommaso Gagliardoni (Kudelski Security) | Shufflecake: plausible deniability for multiple hidden filesystems on Linux |
| 24.04.24 | Andreagiovanni Reina | Blockchain technology for mobile multi-robot systems |
| 22.05.24 | Patrick Struck (University of Konstanz) | Cryptography: Formalizing, Proving, and Breaking Security |
| 05.06.24 | Peyman Mohajerin Esfahani (TU Delft) | The Role of Convexity in Learning: An Inverse Optimization Case Study |
| 19.06.24 in R 611 | Emanuele D'Osualdo (University of Konstanz) | Deductive verification of probabilistic programs via independence and conditioning |
| 10.07.24 | Mariami Gachechiladze (TU Darmstadt) | Classical certification of quantum computation and promise problems |
Previous semesters