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 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.


Research Interests

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.

Latest News

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).

May. 30, 2017     A paper has been accepted for presentation in int. conf. on Quant. Eval. of Sys. (QEST).

Apr. 15, 2017     I will be giving a seminar at the Dept. of Informatics at King's College London on Apr. 27.

Mar. 15, 2017     RSS Workshop proposal on "Morality and Social Trust in Autonomous Robots" has been accepted.

Dec. 14, 2016     Presented a technical paper at CDC.

Nov. 18, 2016     Presented a position paper on the importance of formalization of social trust for the future of autonomous systems in AAAI Fall Symposium.