Ph.D. Candidate · Aerospace Autonomy & AI

Iman Sharifi

I build safe, interpretable, and verifiable AI for autonomous flight — from multi-agent reinforcement learning to neuro-symbolic reasoning and large language models.

Iman Sharifi
LocationStanford, CA FocusMulti-Agent RL · Neuro-Symbolic AI · LLMs StatusSeeking 2026–27 research internships

About

Profile

I am a Ph.D. Candidate in Mechanical and Aerospace Engineering at George Washington University, Washington DC, USA, where my research lies at the intersection of control, optimization, and decision-making. In particular, I work on multi-agent reinforcement learning, neuro-symbolic artificial intelligence, and large language models (LLMs). I am broadly interested in developing interpretable and verifiable AI systems for safety-critical applications such as unmanned aerial systems (UAS) traffic management (UTM), advanced air mobility (AAM), and autonomous driving. My current Ph.D. program is funded by the National Aeronautics and Space Administration (NASA) University Leadership Initiative (ULI).

Currently, I am a visiting student researcher in the Stanford Intelligent Systems Laboratory (SISL) at Stanford University, Department of Aeronautics and Astronautics, where I conduct research on safeguarding LLMs/VLMs using retrieval-augmented generation (RAG) in aviation applications. I have also conducted research as a visiting student researcher at the Connected and Automated Vehicles Lab (CAV-Lab), University of Surrey, focusing on symbolic imitation learning and safe decision-making for autonomous vehicles using neuro-symbolic reinforcement learning in 2023.

To date, my work has been published in venues such as IEEE ITSC, CVPR Workshops, IJCAI, NeSy, Smart Agricultural Technology, Transportation Research Record (TRR), Applied Sciences, and the AIAA SciTech Forum.

Research

Control · Optimization · Decision-making

Multi-Agent RL for Shared Airspace

Decentralized policies that keep heterogeneous drone fleets safely separated in dense urban airspace, while staying fair to every operator.

7 papers on Drones & Air Mobility →

Language Models for Air Traffic Decisions

Fine-tuning LLMs with supervised learning and GRPO to act as cooperative tactical deconfliction advisors for small unmanned aircraft.

1 paper on LLMs →

Neuro-Symbolic Rule Learning

Differentiable logic that learns human-readable first-order rules from noisy, probabilistic data, so the model explains itself.

5 papers on Neuro-Symbolic AI →

Safe & Explainable Autonomous Driving

Symbolic reasoning that constrains deep reinforcement learning, so highway driving policies stay safe during exploration and remain explainable.

3 papers on Autonomous Driving →

Selected Publications

Full list →

News

Recent activity
2026 · 09
Presented our multi-agent RL work on separating heterogeneous drone fleets at IEEE ITSC 2026 (Naples, Italy), online on Sep 16. Watch the talk & get the slides.
2026 · 09
Attended the second NASA ULI monthly meeting at Purdue University, Sep 15–17.
NASA ULI students in front of the Purdue University gateway, September 2026
2026 · 09
Presented ANDRE, our attention-based differentiable rule extractor, at NeSy 2026 (Lisbon, Portugal), online on Sep 4. Watch the talk & get the slides.
2026 · 06
Our paper ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor was accepted at NeSy 2026 (Int’l Conference on Neurosymbolic Learning and Reasoning).
2026 · 06
Joined the Stanford Intelligent Systems Laboratory (SISL), Dept. of Aeronautics & Astronautics, as a visiting researcher.
Iman with Prof. Mykel Kochenderfer at Stanford
2026 · 06
Presented our poster at CVPR 2026 in Denver, Colorado.
Iman presenting the poster at CVPR 2026
2026 · 04
Paper accepted at IEEE ITSC 2026, Naples — Separation Assurance between Heterogeneous Fleets of sUAS via Multi-Agent Reinforcement Learning.
2026 · 04
Defended my Doctoral Qualifying Exam (DQE) — now a Ph.D. Candidate at George Washington University.
2026 · 03
Paper accepted at CVPR Workshops 2026 — Fine-Tuning Large Language Models for Cooperative Tactical Deconfliction of sUAS.
2025 · 10
Published Agricultural Spraying Drones: A Comprehensive Review in Smart Agricultural Technology.
2025 · 09
Two papers accepted at AIAA SciTech Forum 2026 on UTM and AAM cybersecurity.
2025 · 08
Published Integrating Neurosymbolic AI in Advanced Air Mobility: A Comprehensive Survey at IJCAI 2025.

Community & Life

Conferences · Labs · Bay Area
Iman on a Stanford walkway with Hoover Tower in the background
Stanford Oval and Hoover Tower
Iman with Prof. Mykel Kochenderfer outside a Stanford building
With Prof. Mykel Kochenderfer, Stanford SISL
A group of six attendees with conference badges in front of the CVPR sign
With fellow researchers at CVPR 2026
Group photo of researchers on a sunny Stanford terrace
With Stanford SISL affiliates and postdocs
Group of students in front of the Purdue University gateway
NASA ULI monthly meeting at Purdue University, Sept 2026
Large group photo of the NASA ULI team taken from above
NASA ULI team, 2025
Members of the IASL lab on a rocky overlook above a river valley
IASL lab hike, GWU
Iman by the bay with the Golden Gate Bridge behind him
Golden Gate Bridge, San Francisco
Iman standing next to his research poster at CVPR 2026
Presenting our poster at CVPR 2026, Denver

Affiliations & Sponsorship

George Washington University logo Stanford University logo NASA logo

Let’s collaborate

I'm always glad to discuss research in reinforcement learning, neuro-symbolic AI, and large language models — and I'm actively seeking 2026–2027 research internships in academia, research labs, or industry.