morteza lahijanian

 

Explorer ∴ Educator ∴ Enthusiast

 

Short Biography

I am an assistant professor in the Aerospace Engineering Sciences 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 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 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.

Latest News

Sep 17, 2018     Started a faculty position in the Aerospace Engineering Sciences department at CU Boulder.

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