A theoretical computer scientist with a passion for Formal Methods --- from regular expressions, automata and (bi)graphs to formal verification and proof assistants.
This is an item in your portfolio. It can be have images or nice text. If you name the file .md, it will be parsed as markdown. If you name the file .html, it will be parsed as HTML. Bluesky Facebook LinkedIn X (formerly Twitter)
