Speaker
Priyanka Golia
Priyanka Golia is an assistant professor at the Indian Institute of Technology Delhi.
Her research area is automated reasoning and formal methods and their usage in designing, building, and verifying scalable systems with rigorous guarantees. Specifically, her research is directed at functional synthesis and constrained sampling.