Franco Raimondi

Franco Raimondi is Professor of Computer Science at Middlesex University and an Amazon Scholar in the Prime Video Automated Reasoning Group. His research focuses on formal verification methods, multi-agent systems, and security protocols.

He leads projects in automated reasoning for distributed systems, including blockchain alternatives and privacy-preserving social platforms (CoSMed). His educational innovations include developing the MIRTO open-source robotics platform for coding instruction and digital twin technologies for scalable computer science education. His work bridges theoretical foundations with industrial applications in security and cloud computing.