morteza lahijanian


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.


Short Biography

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 received all of my primary education 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 (2005), M.S. in Mechanical Engineering from Boston University (2008), 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 (2013). 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.


Research Interests

Generally, I am interested in both the theoretical and 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, 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 automation 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 system.

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.

Latest News

Jun 29, 2018     Two papers have been accepted for presentation in Int. Conf. on Intelligent Robots and Systems (IROS 2018).

Jun. 25, 2018     A paper has been accepted for publication in the journal of IEEE Robotics and Automation Letters (RA-L).

May. 20, 2018     Will be presenting a paper at Int't Conf. on Automatic Control (ICRA'18) on May 24 in Brisbane, Australia.

May. 19, 2018     I have accepted an assistant professorship offer from Aerospace Engineering Sciences Dept. at University of Colorado Boulder and will be joining CU-Boulder in fall of 2018.

Jan. 19, 2018     A paper has been accepted for publication in the journal of IEEE Robotics and Automation Letters (RA-L).

Jan. 12, 2018     A paper has been accepted for presentation in int. conf. on robotics and automation (ICRA).

Dec. 15, 2017     An artcile has been published in Inspired Reserach magazine on "Defining trust helps robots behave". Click here (see page 22).

Nov. 30, 2017     Gave a presentation on "How much to trust a robot" at The Safety and Reliability Society, the London branch.

Sep. 01, 2017     A paper has been accepted for publication in the Journal of Annual Review of Control, Robotics, and Autonomous Systems.

Aug. 15, 2017     CAV Workshop proposal on "Robots, Morality, and Trust through the Verification Lens" has been accepted.

Jun. 15, 2017     A paper has been accepted for presentation in int. conf. on Intelligent Robots and Sys. (IROS).