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