Our Team

Faculty

Jie Fu

Assistant Professor

profile-jief-small

Research interests: Control theory, reinforcement learning, formal methods, and verifiable robotics.

PhD Students

Xuan Liu

PhD Student

IMG_0367

I received my bachelor's degree of Computer Science from Beijing University of Posts and Telecommunications. And later Master of Computer Science in Intelligent Robotics from University of Southern California.

Research Area: Formal Method and Reinforcement Learning, Learning-based Synthesis, Optimal Control

Lening Li

PhD student

IMG_2495

Research Area: Operations Research(optimization, probability theory, and game theory), Optimal Control, Inverse Optimal Control, Motion Planning and Formal Methods

  • Email Lening Li

Abhishek N. Kulkarni

PhD student

abhishek

Research Interests: Reactive and Stochastic Games (Formal Methods with Robotics Applications), Motion Planning and Control.

Renato Gasoto

PhD Student

IMG_6784

Research Area: Efficiency in Reinforcement Learning, Robotics Simulation

 

Zhentian Qian

ZhentianQian

Research interest: Semantic SLAM: integrate semantic information into simultaneous localization and mapping (SLAM) formulation.

Haoxiang Ma

selfie

Research Interest: Reinforcement Learning, Formal Method, Game Theory.

Masters’ Students

Undergraduate Students

Alumni

Nishant Doshi    Masters Student   (to be added)  Linkedin
Nolan Pollin    Masters Student    MITRE Corporation   Linkedin