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
2025
Das, Susmoy 
ORCID: https://orcid.org/0000-0001-9118-7402, Almeida, Ricardo, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: 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)
Almeida, Ricardo, Das, Susmoy ORCID: https://orcid.org/0000-0001-9118-7402, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: 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,
(Accepted for Publication)
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)
Conference Proceedings
Das, Susmoy ORCID: https://orcid.org/0000-0001-9118-7402, Almeida, Ricardo, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: 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)
Almeida, Ricardo, Das, Susmoy ORCID: https://orcid.org/0000-0001-9118-7402, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658, Calder, Muffy ORCID: https://orcid.org/0000-0001-5033-7232 and Sevegnani, Michele ORCID: 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,
(Accepted for Publication)
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)
Supervision
I am currently supervising summer MSc CS+ students.
