Dipak Chaudhari
Dipak Chaudhari is a Research Scientist at the University of Texas at Austin. His research interests mainly lie on the intersection of Machine Learning and Formal Methods. He is particularly interested in combining ideas from Machine Learning and Formal Methods to solve challenging problems in fields including Program Synthesis, Computer Vision, Meta Learning, and Few-Shot Learning. Dipak earned his doctorate from IIT Bombay, where he focused on program derivation from formal specifications. Before joining UT Austin, he was a Postdoctoral Researcher at The Intelligent Software Systems Laboratory (ISSyL), Rice University where he worked primarily on Neurosymbolic Program Synthesis.
