Dr Ricardo Almeida

  • Research Associate (School of Computing Science)

Biography

My background is in Theoretical Computer Science. I did my MSc thesis in Kleene Algebra with Tests and Hoare Logic, and my PhD was on Tree Automata at the University of Edinburgh. I have several years of industry experience at Keysight Technologies, and my first postdoc was on Formal Verification applied to the Morello architecture at the University of Edinburgh. I'm currently on my second postdoc, as part of the TransiT project and applying Formal Methods to Digital Twinning for the decarbonisation of transport.

Research interests

  • Formal Methods
  • Bigraphs
  • Regular expressions and formal languages
  • Formal verification and Proof assistants

Publications

List by: Type | Date

Jump to: 2025
Number of items: 2.

2025

Hammond, Angus, Almeida, Ricardo, Bauereiss, Thomas, Campbell, Brian, Stark, Ian and Sewell, Peter (2025) Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture. In: 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025), Seoul, South Korea, 16-20 June 2025, pp. 1961-1983. (doi: 10.1145/3729329)

Das, Susmoy ORCID logoORCID: https://orcid.org/0000-0001-9118-7402, Almeida, Ricardo, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Formal Analysis of Resilience in Transport Systems with Bigraphs. In: 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025) in conjunction with SAFECOMP 2025, Stockholm, Sweden, 09-12 September 2025, (Accepted for Publication)

This list was generated on Mon Aug 25 00:22:59 2025 BST.
Jump to: Conference Proceedings
Number of items: 2.

Conference Proceedings

Hammond, Angus, Almeida, Ricardo, Bauereiss, Thomas, Campbell, Brian, Stark, Ian and Sewell, Peter (2025) Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture. In: 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025), Seoul, South Korea, 16-20 June 2025, pp. 1961-1983. (doi: 10.1145/3729329)

Das, Susmoy ORCID logoORCID: https://orcid.org/0000-0001-9118-7402, Almeida, Ricardo, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Formal Analysis of Resilience in Transport Systems with Bigraphs. In: 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025) in conjunction with SAFECOMP 2025, Stockholm, Sweden, 09-12 September 2025, (Accepted for Publication)

This list was generated on Mon Aug 25 00:22:59 2025 BST.

Supervision

I am currently supervising summer MSc CS+ students.


Ricardo Almeida