Courses

Current

  • 2360124 Proving theorems in Lean Mondays 10:30-13:30 TBD

Past

  • 236803 TCS Graduate Research Seminar Spring 2025 website
  • 236306 Random Graphs Spring 2024 website
  • 236318 Boolean Function Analysis Winter 2023/2024 website
  • 236017 Constraint Satisfaction Problems Winter 2024/2025 website
  • 236646 Constraint Satisfaction Problems Spring 2022 website
  • 236646 Boolean Function Analysis Spring 2021 website
  • 236306 Random Graphs Winter 2019/2020 website
  • 236648 Boolean Function Analysis Spring 2019 website
  • 236646 Random Graphs Winter 2017/2018 website
  • 236602 Theory Lab Winter 2017/2018 website
  • 236315 Algebraic Methods Spring 2017 website
  • 236646 Random Graphs Winter 2016/2017 website
  • 236646 Boolean Function Analysis Winter 2015/2016 website