Meghana Sistla

Hi! I am a Ph.D. candidate in the Trishul lab at the University of Texas at Austin, working with Prof. Swarat Chaudhuri and collaborating closely with Prof. Tom Reps. My research interests span the areas of AI, programming languages and formal methods. I have rich academic and industrial experience, both in traditional verification and use of LLMs for code/math.

During my grad school, I have worked on using automata-theoretic approaches for succinct function representations for verification and simulation; I have also worked on projects involving AI for math and code.

During my PhD, I interned twice at Google. I was a PhD intern in the DevAI Research team where I worked on verified code reasoning by LLMs, with Satish Chandra and Gogul Balakrishnan. Before that, I interned in the P4-Based Automated Reasoning (P4-BAR) group to scale the performance of symbolic execution pipeline for formal switch testing, with Ali Kheradmand and Steffen Smolka .

Prior to pursuing Ph.D., I worked in Google India (2020-21) in the Google Ads team and Microsoft India (2019-2020) in the Azure Compute team. I graduated from Indian Institute of Technology Madras in 2019 with a Dual Degree (Bachelor’s and Master’s) in Computer Science. I was advised by Prof. V Krishna Nandivada. for my thesis work on Graph Coloring using GPUs.

I am on the job market looking for research positions looking for industry research groups.

You can find my CV here.

Outside of work, I enjoy singing, painting, and have recently taken up playing board games!