Teaching

  • Coalgebra (Fall 2018): more information soon! See here for the 2016 edition
  • Languages and automata (Q2 2018, Q2 2017, Q2 2016)
  • Introduction to Robotics (Spring 2018)