Priyanka
Priyanka
Home
CV
News
Publications
Software
Teaching
Light
Dark
Automatic
<b>Join, from the comfort of your home, our tutorial on <a href="https://priyanka-golia.github.io/ijcai22-tutorial/index.html">Automated Synthesis: Towards the Holy Grail of AI</a> at AAAI-22.</b>
Date
Jan 8, 2022 2:15 PM
Priyanka Golia
Assistant ProfessorChandruka New Faculty FellowEmail:
pgolia@cse.iitd.ac.in
Bharti 415, CSE, IITD
Research Statement
Next
<b>Our work On Quantitative Testing of Samplers has been accepted to <a href="https://cp2022.a4cp.org">CP-22</a>.</b> <br> We design a computational hardness-based tester, called ScalBarbarik. ScalBarbarik provides a qunatitative way to analysis the quality of a sampler.<br> Joint work with: Mate Soos, Sourav Chakraborty, Kuldeep S. Meel<br>
Previous
I will be giving a <b>student invited talk </b> at <a href="https://www.tifr.res.in/~shibashis.guha/iVerif/">iVerif: Workshop on artifical intelligence and Verification </a>. Its a pre-FSTTCS workshop. See you all at FSTTCS!
Cite
×