Nathalie Sznajder

About

Nathalie Sznajder is a leading researcher in formal methods for multi-robot systems, specializing in the verification and synthesis of algorithms for autonomous mobile robot swarms. Her work focuses on developing rigorous mathematical frameworks to ensure that simple, oblivious robots—operating with limited sensing and communication—can reliably achieve complex collective tasks. Sznajder’s most influential contribution is her 2014 paper "On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering" (33 citations), which established foundational techniques for automatically generating correct-by-construction robot behaviors. She has since advanced parameterized verification methods for robot swarms on rings (17 and 9 citations), enabling scalable analysis of algorithms regardless of swarm size. Her invited survey "Formal Methods for Mobile Robots" (2015) and its 2019 follow-up (7 citations) provide comprehensive overviews of the field, identifying key open problems and future directions. Sznajder’s work bridges theoretical computer science and robotics, offering tools to verify that distributed robot systems will behave correctly in all possible configurations. Her research is essential for engineers designing reliable autonomous swarms for applications ranging from search-and-rescue to environmental monitoring.

Research Focus

Key Achievements

Top Papers

1. 1
   On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering

   33 citations · 2014
2. 2
   Parameterized verification of algorithms for oblivious robots on a ring

   17 citations · 2019
3. 3
   Parameterized verification of algorithms for oblivious robots on a ring

   9 citations · 2017
4. 4
   Formal Methods for Mobile Robots

   7 citations · 2019
5. 5
   [Invited Paper] Formal Methods for Mobile Robots: Current Results and Open Problems

   5 citations · 2015
6. 6
   On the Encoding and Solving of Partial Information Games

   2 citations · 2021

Key Collaborators

Contact & Links