TEACHING

Non-Sequential Theory of Distributed Systems

MPRI M2, 2018.

Weighted Automata

MPRI M2, 2009/2010.