I lead the Distributed Systems & Edge Intelligence Lab at the University of Tabriz, where my work harnesses mathematical modeling and formal verification to advance the design of scalable, reliable cloud and edge architectures. My research traverses efficient scheduling for large-scale infrastructures, robust system architectures, and the integration of formal methods to ensure correctness and performance.
I actively mentor graduate and undergraduate students in applying innovative scientific methods to real-world challenges, and I cultivate international partnerships that accelerate technology transfer. Prospective students and collaborators who share a passion for cutting-edge research are encouraged to get in touch to explore opportunities.