A theoretical computer scientist with a passion for Formal Methods --- from regular expressions, automata and (bi)graphs to formal verification and proof assistants.
