Priyanka
Priyanka
Home
CV
News
Publications
Software
Teaching
Light
Dark
Automatic
<b>We have released the source code of [Manthan](https://github.com/meelgroup/manthan).</b>
Date
Jul 13, 2020 12:00 AM
Priyanka Golia
Assistant ProfessorChandruka New Faculty FellowEmail:
pgolia@cse.iitd.ac.in
Bharti 415, CSE, IITD
Research Statement
Next
<b>Presented a talk on a data driven approach for Boolean function synthesis at 4th Workshop on Learning in Verification (LiVe), ETPAS, 2020 and at Software Engineering Research in India, SERI, 2020</a>.</b>
Previous
<b>Our paper on A data-driven approach for Boolean function synthesis has been accepted to CAV-20</b><br> Joint work with: Subhajit Roy and Kuldeep S. Meel
Cite
×
