Welcome! Throughout these pages, I am sharing my research interests and also some of my personal interests with the ever-shrinking world outside of my labs.
I have had the privilege of being exposed to both worlds in the east and the west. I was born in the U.S., assembled in Iran, and am currently experiencing life in the U.K. I did all of my primary educations in Iran with a strong emphasis on mathematics and physics. Then, my intuition and understanding of engineering and some biological concepts were further refined during my studies at American universities. I received my B.S. in Bioengineering from University of California, Berkeley (2004), M.S. in Mechanical Engineering from Boston University (2009), and Ph.D. in the field of systems and control theory with applications in robotics under the supervisions of Sean B. Andersson and Calin Belta from Boston University (2012).
I conducted my postdoctoral research in the field of robotics under the guidance of Lydia Kavraki and Moshe Vardi in the Dept. of Computer Science at Rice Univeristy (2015). I am currently with the Dept. of Computer Science at University of Oxford as a research scientist and work with Marta Kwiatkowska on the Mobile Robotics project led by Paul Newman, with co-investigators Ingmar Posner, Niki Trigoni, and Marta Kwiatkowska.
Generally, I am interested in both the theoretical and the application sides of my fields of study. My interests include dynamics, control theory, game theory, systems, and formal methods with applications in robotics and systems biology, particularly, motion planning, finite abstraction, formal verification, formal synthesis, and hybrid systems.
My research focuses on the employment of formal methods in automatic control generation for dynamical systems with correctness and completeness guarantees. My Ph.D. dissertation proposes a computationally tractable formal verification and synthesis method for stochastic systems with applications in robotics. My postdoctoral work revolves around temporal logic motion planning for complex dynamical systems under various types of uncertainty.