Explorer ∴ Educator ∴ Enthusiast
Short Biography
I am an assistant professor in the Aerospace Engineering Sciences department and Computer Science department at the University of Colorado Boulder. A long journey through different disciplines and worlds in the East and the West has taken me to this place.
I was born in the U.S., assembled in Iran, and experienced in the U.K. I received all of my primary education in Iran and became an engineer/scientist in the U.S. I received my B.S. in Bioengineering at the University of California, Berkeley, M.S. in Mechanical Engineering at Boston University, 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 at Boston University.
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 University. Then, I joined the Dept. of Computer Science at University of Oxford as a research scientist and worked with Marta Kwiatkowska on the "Mobile Autonomy: Safety, Trust, and Integrity" project.
Research Interests
I am interested in both the theoretical and application sides of my field of study. My interests include dynamics, control theory, game theory, systems, and formal methods with applications in robotics, particularly, motion planning, strategy synthesis, model checking, hybrid systems, and human-robot interaction.
The main theme of my work is safety and soundness, and the emphasis is on safe autonomy through correct-by-construction algorithmic approaches.
In my research, I integrate control theory and formal methods to form powerful frameworks that enable autonomy in achieving complex tasks through high-level decision making with the awareness of low-level complexities and constraints of the physical systems.
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.
Currently, I focus on developing algorithms that guarantee safety and integrity of mobile robots in their interactions with humans through cognitive models, stochastic games, and correct-by-construction embedded software components.
For more information, please see my research group website: www.ARIASystems.group