I'm a postdoc at the University of Cambridge, affiliated with the Prorok Lab and Trinity College. My research focuses on algorithms for multi-agent teams, with an emphasis on provable performance and safety guarantees, at the intersection of machine learning and formal mathematics.
New paper in IEEE Transactions on Robotics!
Our paper "Time, Travel, and Energy in the Uniform Dispersion Problem" asks how robot swarms can disperse while simultaneously minimizing mission time, distance travelled, and energy use in unknown environments. We prove that this triple optimum is attainable in simply-connected grid maps, but fundamentally impossible in general environments.
We introduce FCDFS, an ant-robotics, zero-communication algorithm that requires only local sensing and 5 bits of memory per robot to achieve these bounds.
Authors: M. Amir and A. M. Bruckstein
DOI: 10.1109/TRO.2025.3577409
Please find my research publications in my Google Scholar profile. Feel free to contact me: I am always up to talk about agents, learning, and AI safety.