Michael Blondin
This is a collection of personal notes on automata theory, logic, algorithmic verification and other topics in theoretical computer science.