Max Robotics — Global Service Robot Directory + US Certification

About

Franco Raimondi is a computer scientist whose work spans the formal verification of multi-agent systems, the Internet of Things (IoT), and innovative computer science education. He is best known for co-developing MCMAS, a model checker for the verification of multi-agent systems, which has garnered over 290 citations and remains a foundational tool for researchers in agent-based verification and logic. Raimondi has also made significant contributions to IoT programming with the ASIP model, which simplifies Arduino-based development for connected devices, a paper cited 88 times. His impact extends to pedagogy: he pioneered the use of robotics to teach first-year computer science at Middlesex University, introducing the MIRTO platform and a Racket-based curriculum that emphasizes functional programming and software engineering through hands-on projects. Notable achievements include his work on virtual pheromones for BDI robot coordination using MQTT and Jason, and his holistic teaching approach that integrates programming, robotics, and theory to inspire students. With over 400 total citations, Raimondi’s research bridges theoretical rigor and practical application, making him a key figure in both multi-agent systems and computing education.