Teaching Activities

Courses

Since 2019, working on the course DAT060/DIT201 Logic in computer science, together with Prof. Thierry Coquand.

From 2010 to 2018, responsible for the course TMV027/DIT321 Finite Automata Theory and Formal Languages.