Priyanka
Priyanka
Home
CV
News
Publications
Software
Teaching
Light
Dark
Automatic
Received the Manas Mandal Outstanding PhD Thesis Award at IIT Kanpur.
Date
Jun 29, 2024 2:15 PM
Priyanka Golia
Assistant ProfessorChandruka New Faculty FellowEmail:
pgolia@cse.iitd.ac.in
Bharti 415, CSE, IITD
Research Statement
Next
I will be giving a keynote talk at [ICTAC-24](https://ictac2024.cs.ait.ac.th) on Automated Synthesis
Previous
Ph.D. Done! Successfully defended my Ph.D. thesis, "Functional Synthesis via Formal Methods and Machine Learning." <br> Thankful to my amazing advisors, Kuldeep S. Meel and Subhajit Roy.
Cite
×
