Teaching

• Coalgebra (Fall 2018, Fall 2016)
• Languages and automata (Q2 2018, Q2 2017, Q2 2016)
• Introduction to Robotics (Spring 2018)