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

Jun 23, 2019     Gave an invited talk at RSS 2019 workshop, Robust autonomy.

Jun 22, 2019     A paper has been accepted for presentation in IEEE Connected and Automated Vehicles Symposium (IEEE CAV 2019).

Jun 20, 2019     A paper has been accepted for presentation in Int. Conf. on Intelligent Robots and Systems (IROS 2018).

May. 22, 2019     Presented a paper at ICRA 2019.

Jan. 15, 2019     A paper has been accepted for publication in the journal of Transactions on Modeling and Computer Simulation (TOMACS 2019).

Dec. 21, 2018     A paper has been accepted for presentation in Hybrid Systems: Computation and Control (HSCC 2019).

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

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