Past semesters

Fall 2022/23

  1. Michael Blondin, Algorithmic verification of infinite-state systems via relaxations
  2. Artur Czumaj, Modern Parallel Algorithms

Spring 2022/23

  1. Vincent Cohen-Addad, Provable algorithms for data mining and unsupervised machine learning
  2. Rupak Majumdar, Random Testing for Distributed Systems
  3. Rahul Savani, The Computational Complexity of Game-Theoretic Solutions

Fall 2021/22

Spring 2021/22

Fall 2020/21

Spring 2020/21

Spring 2019/20

Fall 2019/20

Spring 2017/18

Fall 2017/18

Spring 2016/2017

Fall 2016/2017

Spring 2015/2016

Fall 2015/2016

Spring 2014/2015

Fall 2014/2015

Spring 2013/2014

Fall 2013/2014

Spring 2012/2013

Fall 2012/2013