Ricardo Almeida

Ricardo Almeida is a Research Fellow at the School of Computing Science, University of Glasgow, working on the TransiT project. He applies Formal Methods to Digital Twinning for transport decarbonisation and previously worked on Formal Verification of the Morello hardware architecture at the University of Edinburgh.

• PhD in Tree Automata (University of Edinburgh)
• MSc in Kleene Algebra with Tests and Hoare Logic (University of Edinburgh)
• Industry experience at Keysight Technologies

His research spans formal verification, bigraph theory, regular expressions, and formal languages. Recent work focuses on formalizing transport resilience, railway network modeling, and proof-theoretic security in hardware architectures.

He supervises summer MSc CS+ students within the Formal Analysis, Theory & Algorithms research group.