Ricardo Almeida — Research Associate in Theoretical Computer Science
Under construction…
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