Max Robotics — Global Service Robot Directory + US Certification

About

Ana Cavalcanti is a leading figure in formal methods for robotics, with research spanning modelling, verification, simulation, and testing of robotic and autonomous systems. She is perhaps best known for developing **RoboChart**, a domain-specific modelling language that enables rigorous, automated verification of robotic software controllers — work that has attracted over 113 citations and established a new standard in the field. Her broader **RoboStar Technology** framework integrates proof, simulation, and testing into a unified toolbox, reflecting her commitment to practical, end-to-end software engineering for safety-critical robotics. Cavalcanti's contributions extend into probabilistic modelling — addressing the inherent uncertainty in robotic environments — and into normative requirements, ensuring autonomous agents respect social, legal, and ethical norms. Her work on automated property checking and CSP-based testing further demonstrates a rare breadth across formal specification, tool development, and real-world applicability. With papers consistently attracting strong citations across multiple publication years, her cumulative impact exceeds 330 citations in this selection alone. For students entering formal methods, robotics software engineering, or AI safety, Cavalcanti's body of work represents an essential and highly rigorous intellectual foundation.