School of Computing Science

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

Research groups

  • Formal Analysis, Theory & Algorithms

Publications

List by: Type | Date

Jump to: 2025
Number of items: 3.

2025

Almeida, Ricardo, Das, Susmoy ORCID logoORCID: https://orcid.org/0000-0001-9118-7402, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation. In: 6th International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail), Pisa, Italy, 26-28 Nov 2025, pp. 286-302. ISBN 9783032107626 (doi: 10.1007/978-3-032-10762-6_22)

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, ISBN 9783032020178 (doi: 10.1007/978-3-032-02018-5_31)

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)

This list was generated on Wed May 27 14:43:12 2026 BST.
Jump to: Conference Proceedings
Number of items: 4.

Conference Proceedings

Almeida, Ricardo, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Pesin, Basile and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2026) Certified Intersection of Commutative Regular Expressions as Solutions of Systems of Linear Diophantine Equations. In: 17th International Conference on Interactive Theorem Proving (ITP 2026), Lisbon, Portugal, 26-29 July 2026, (Accepted for Publication)

Almeida, Ricardo, Das, Susmoy ORCID logoORCID: https://orcid.org/0000-0001-9118-7402, Archibald, Blair ORCID logoORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 (2025) Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation. In: 6th International Conference on Reliability, Safety, and Security of Railway Systems (RSSRail), Pisa, Italy, 26-28 Nov 2025, pp. 286-302. ISBN 9783032107626 (doi: 10.1007/978-3-032-10762-6_22)

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, ISBN 9783032020178 (doi: 10.1007/978-3-032-02018-5_31)

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)

This list was generated on Thu May 28 18:57:22 2026 BST.

Supervision

I am currently supervising summer MSc CS+ students.


Ricardo Almeida