TEACHING

Non-Sequential Theory of Distributed Systems

MPRI M2, 2019/2020.

Weighted Automata

MPRI M2, 2009/2010.