About Me
Here is Licheng Luo (罗立城). I am a second-year PhD student in Mechanical Engineering at the University of California, Riverside, fortunately advised by Prof. Mingyu Cai. Previously, I received my M.S. in Computer Science from the University of Virginia (advised by Prof. Shangtong Zhang), and my B.Eng. in Electronic Information Engineering from Huazhong University of Science and Technology (advised by Prof. Xin Yang). You can find my CV here.
My research lies at the intersection of robot learning, formal methods, and motion planning. I am especially interested in making symbolic specifications — particularly spatio-temporal logic — differentiable, so that geometric and temporal task structure can be plugged directly into reinforcement learning, imitation learning, and policy evaluation pipelines.
Academic Background
- Jan 2025 – Present: University of California, Riverside — Ph.D. in Mechanical Engineering (GPA 4.0/4.0)
- Aug 2023 – Dec 2024: University of Virginia — M.S. in Computer Science (GPA 4.0/4.0)
- Sep 2019 – Jun 2023: Huazhong University of Science and Technology — B.Eng. in Electronic Information Engineering (GPA 3.78/4.0, Graduated with Honors)
Research Interests
- Differentiable spatio-temporal logic for robot manipulation
- Reinforcement learning and imitation learning with symbolic structure
- Motion planning under uncertainty (conformal prediction, dynamic environments)
- Multi-robot navigation and hybrid RL–planning frameworks
- Natural-language to formal task specification (NL2SpaTiaL)
News
- 2026.04 Time-aware Motion Planning with Conformal Prediction selected for an oral talk at L4DC 2026 — see you in LA this June!
- 2026.03 Cooking up the next round of work on Differentiable SpaTiaL & NL2SpaTiaL — robots that understand spatial-temporal goals from natural language. Stay tuned.
- 2025.01 Officially started my PhD at UC Riverside with REAL Lab. Loving the desert sun and the robots.
- 2024.12 Wrapped up my M.S. at UVA with a thesis on Policy Optimization in Robust MDPs — onward!
Contacts
- Academic Email: lichengl [at] ucr.edu
- Personal Email: lichengluo2001 [at] gmail.com
- Location: Riverside, CA