Max Robotics — Global Service Robot Directory + US Certification

About

Mirko Viroli is a prominent computer scientist whose research sits at the intersection of distributed systems, self-organizing computing, and programming language theory. He is best known for pioneering the theoretical and practical foundations of **computational fields** — a paradigm for reasoning about collective, spatially-distributed computation in large-scale networked systems. His seminal series of papers, including "A Calculus of Computational Fields" (2013), its self-stabilising extension (2014), and the type-sound variant (2015), together accumulating over 120 citations, established rigorous formal frameworks that underpin modern aggregate computing approaches. Viroli's work extends naturally into cyber-physical systems and swarm robotics. His 2020 paper on "Pulverization in Cyber-Physical Systems" (48 citations) introduced an influential architectural model for cleanly separating self-organizing logic from deployment concerns — a breakthrough for engineering smart cities and robot swarms. More recently, he has advanced swarm programming through frameworks like MacroSwarm and the eXchange Calculus (XC), broadening the accessibility of field-based computation. His contributions to bio-inspired design patterns further demonstrate a sustained commitment to principled, reusable abstractions for decentralized systems. Across his career, Viroli has shaped how researchers design, analyze, and deploy collective adaptive systems at scale.