RICARDO ALMEIDA
Researcher
Dr Ricardo Almeida is a Research Associate at the University of Glasgow, with a background in theoretical Computer Science and formal methods.
He completed his PhD on automata theory at the University of Edinburgh in 2017, and has since worked as an R&D Researcher in industry building next-generation digital-triggering solutions based on formal languages, and as a Research Associate in formal verification of system software at the University of Edinburgh.
University of Glasgow
