Disha Kamale

Disha Kamale

PhD Student, Robotics

Lehigh University

About Me

Hello! I am a postdoctoral researcher at the Autonomous Robotic Manipulation lab, University of Michigan advised by Prof. Dmitry Berenson. I completed Ph.D. 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.

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, ME Rising Star 2025, and P C Rossin Dean’s fellow.

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

  • [Jul 2025] Started my postdoc journey at UMich! Very excited for the new chapter.
  • [Apr 2025] Defended my PhD dissertation on “Symbolic Perception-aware Planning with Relaxation for Complex Temporal Logic Goals”. Deeply greatful for the support of my advisor, family and friends. You can find my thesis here!
  • [Apr 2025] I gave a talk at Safe Robotics Lab, Princeton University. Thanks to Prof. Jaime Fisac for hosting me.
  • [Mar 2025] I gave a talk at xLab, University of Pennsylvania. Thanks to Prof. Rahul Mangharam for hosting me.
  • [Mar 2025] 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. Thanks to Prof. Gregory Stein for hosting me.
  • [Aug 2024] I gave a talk at VeHICaL group meeting, UC Berkley. Thanks to Prof. Sanjit Seshia for hosting me.
  • [July 2024] I gave a talk at ILIAD group meeting, Stanford University. Thanks to 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

 
 
 
 
 
Postdoctoral Researcher
July 2025 – Present USA
 
 
 
 
 
Graduate Student Research Assistant
January 2020 – July 2025 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