Scholar
Meghana Sistla
Google Scholar ID: GHUmShIAAAAJ
University of Texas at Austin
Citations & Impact
Citations
58
H-index
4
i10-index
3
Publications
7
Co-authors
0
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Worked on projects involving using automata-theoretic approaches for succinct function representations for verification and simulation; also worked on projects involving AI for math and code.
Research Experience
- 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; interned twice at Google, first 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; second as a PhD intern in the DevAI Research team where she worked on verified code reasoning by LLMs, with Satish Chandra and Gogul Balakrishnan; before pursuing her Ph.D., worked at Google India (2020-21) in the Google Ads team and Microsoft India (2019-2020) in the Azure Compute team.
Education
- Graduated from Indian Institute of Technology Madras in 2019 with a Dual Degree (Bachelor’s and Master’s) in Computer Science, advised by Prof. V Krishna Nandivada.
Background
- Research interests span the areas of AI, programming languages and formal methods. Has rich academic and industrial experience, both in traditional verification and use of LLMs for code/math.
Miscellany
- Outside of work, enjoys singing, painting, and has recently taken up playing board games!
Co-authors