Dr Ricardo Almeida

School of Computing Science

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。