Priyanka
Priyanka
Home
CV
Research Group
News
Publications
Software
Teaching
Light
Dark
Automatic
We are organizing workshop on <a href="https://mccompetition.org/2025/mcw_description"> Counting, Sampling, and Synthesis</a>, together with Paulius Dilkas.
Date
Jul 2, 2025 2:15 PM
Priyanka Golia
Assistant ProfessorChandruka New Faculty FellowEmail:
pgolia@cse.iitd.ac.in
Bharti 415, CSE, IITD
Research Statement
Next
We are organizing the ACM India IndiCS seminar on <a href="https://indics-synthesis.github.io/"> Automated Synthesis</a>, together with Supratik Chakraborty, Aalok Thakkar, and Kumar Madhukar.
Previous
Together with Jie An, I will be serving as the ATVA 2025 Artifact Evaluation Chair. I look forward to reviewing your systems! Check out the details at <a href="https://conf.researchr.org/track/atva-2025/atva-2025-artifact-evaluation">ATVA-AE 2025</a>
Cite
×
