My most recent area of research is ensuring safety for autonomous systems. Autonomous systems are expected to provide optimal performance in a wide range of environments. Ensuring safety and optimality of autonomous systems would not only require reasoning about systems that evolve in continuous state-space, but also have software and machine learning components. In our lab, we not only work on the theoretical foundations for developing such algorithms, but also apply these algorithms on various case studies. I am interested in combining numerical, probabilistic, and symbolic methods for reasoning about autonomous systems.