Max Robotics — Global Service Robot Directory + US Certification

About

Savas Konur is a computer scientist whose research spans formal verification, swarm robotics, synthetic biology, and pervasive computing systems. He is perhaps best known for his pioneering work applying probabilistic model checking to the analysis of robot swarm behaviour, a contribution that has garnered significant attention within the robotics and formal methods communities, with his 2011 paper accumulating 95 citations and establishing him as a notable voice in swarm intelligence verification. His earlier 2010 work on formal verification of probabilistic swarm behaviours laid the theoretical groundwork for this research direction, further cementing his expertise in mathematically rigorous approaches to complex, emergent systems. Konur has also demonstrated a broad interdisciplinary reach, extending formal and computational methods into synthetic biology, contributing to a 2024 review of design-build-test-learn automation workflows that bridges laboratory practice with computational modelling. His 2014 roadmap for pervasive systems verification reflects a sustained interest in tackling the verification challenges posed by autonomous, distributed, and human-robot systems. Even his earlier work explored machine learning for autonomous agents in dynamic environments. Together, these contributions paint a portrait of a researcher committed to bringing rigour and automation to complex, real-world systems across multiple domains.