Disha Kamale

Disha Kamale

PhD Student, Robotics

Lehigh University

About Me

Hello! I am a final year Ph.D. candidate at Lehigh University advised by Prof. Cristian-Ioan Vasile. I am passionate about developing the theoretical foundations and practical implementations of intelligent robotic systems for complex applications with an emphasis on informed planning and decision-making. Towards this, my doctoral research focuses on perception-aware planning and safe decision making with formal guarantees of safety, correctness and performance. This work has potential applications in autonomous navigation, human-robot collaboration, and space exploration, to name a few.

In 2024, I spent a wonderful summer at the Honda Research Institute, USA as a research intern. Before embarking on my journey at Lehigh, I was a visiting research intern at the Intelligent Manipulation Lab, University of Lincoln, UK where I got the opportunity to work on planning and control for human-robot shared manipulation. During my undergraduate years, I spent a summer working on human-robot tekecommunication at The Biorobotics Institute, Italy. I completed my undergraduate studies in Mechanical Engineering at NIT Nagpur in 2019.

I am honored to have been selected as the NSF CPS Rising star 2025 and P C Rossin Dean’s fellow.

I am on the job market (graduating in May 2025) and am actively looking for postdoctoral and industry research positions. If you think I might be a good fit, please reach out!

My CV is available here.

Interests
  • Perception-aware Planning
  • Optimal Planning with User Preferences
  • Safe Autonomy
  • Risk-aware Planning
Education
  • PhD, Mechanical Engineering and Mechanics, 2020 - present

    Lehigh University

  • B.Tech. in Mechanical Engineering, 2019

    Visvesvaraya National Institute of Technology (NIT Nagpur), India

Talks, News & Features

  • [Mar 2025] I am honored to have been selected as the NSF CPS Rising Star 2025.
  • [Mar 2025] I gave a talk at Robotics and Autonomous Systems Group, George Mason University. Thank you Prof. Gregory Stein for hosting me.
  • [Aug 2024] I gave a talk at VeHICaL group meeting, UC Berkley. Thank you Prof. Sanjit Seshia for hosting me.
  • [July 2024] I gave a talk at ILIAD group meeting, Stanford University. Thank you Prof. Dorsa Sadigh for hosting me.
  • [Oct 2024] Our paper on “Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation” is accepted at CDC 2024. See you in Milan!
  • [May 2024] Presented our recent paper on planning with relaxation for multi-robot teams at ICRA 2024, Yokohama, Japan.
  • [May 2024] Co-organized a workshop on formal methods at ICRA.
  • Featured in Lehigh Mechanical Engineering’s Women’s History Month
  • GSRS article- The World Through a Robot’s Lens: Enabling Complex Decision-Making With The Help of Reactive Games

Research Experience

 
 
 
 
 
Graduate Student Research Assistant
January 2020 – Present USA
 
 
 
 
 
Summer Research Intern
May 2024 – August 2024 USA
 
 
 
 
 
 
 
 
 
 
Summer Research Intern
May 2018 – August 2018 Italy
 
 
 
 
 
Undergraduate Student Researcher
May 2016 – May 2019 India

Recent Publications

Quickly discover relevant content by filtering publications.
(2024). Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation. arXiv preprint arXiv:2407.21090.

Cite

(2024). Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams. arXiv preprint arXiv:2406.01848.

Cite

(2023). Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. 2023 62nd IEEE Conference on Decision and Control (CDC).

Cite DOI URL

(2023). Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. 2023 IEEE International Conference on Robotics and Automation (ICRA).

Cite DOI URL

(2023). Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control.

Cite DOI URL

Contact