Iman Haghighi

Papers

Total Citations

150

H-Index

About

Iman Haghighi is a leading researcher at the intersection of formal methods, control theory, and multi-agent systems, with a primary focus on the specification and control of networked dynamical systems and robotic swarms. His most influential contribution is the development of **SpaTeL** (Spatial-Temporal Logic), a novel formal specification language introduced in his highly cited 2015 paper (111 citations). SpaTeL enables engineers to describe complex, time-varying spatial patterns and emergent properties in systems ranging from robotic teams to collections of genetically engineered cells. Building on this foundation, his 2016 work on robotic swarm control (39 citations) demonstrated a practical framework for translating high-level spatio-temporal specifications into low-level control commands for two-dimensional swarms. This allows users to command a swarm to form intricate, dynamic configurations without needing to program individual agents. Haghighi’s work is notable for bridging the gap between abstract logical requirements and real-world robotic control, providing a rigorous yet accessible toolkit for designing predictable, complex behaviors in distributed systems. His research is essential reading for anyone working in swarm robotics, cyber-physical systems, or formal verification of emergent behaviors.