Page not in menu
This is a page not in the menu. You can use markdown in this page.
Ricardo Almeida
A theoretical computer scientist with a passion for Formal Methods --- from regular expressions, automata and (bi)graphs to formal verification and proof assistants.
- Glasgow, UK
- University of Glasgow
- Academia
- Google Scholar
- ORCID
- GitHub