معرفی
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.
۰مقاله منتشرشده
