Hi! I am Shashank Kirtania, pre-doctoral research fellow at Microsoft PROSE team. I work with Gustavo Soares, Arjun Radhakrishna and Sumit Gulwani. My current research is about improving understanding code and reasoning from it using language models.
Previously I have been privelged to work with Soma Dhavala and Makarand Tapaswi during my time at Wadhwani AI developing speech related solutions for indic languages which was deployed in Gujarat and have completed over 10,00,000 successful assessment by Dec-2023.

I have also worked closely with Thomas Wiecki at PyMC labs where I spent most of my time improving workflow of bayesian models employeed by PyMC.
I am interested in how ML can help in synthesis, verification and repair of code (ML4PL) and how synthesis and verification can help in better explainability, generalizability of algorithms (PL4ML).
I will be applying for PhD in Fall’25 cycle.