ashoka-university 1 Vaani Goenka’s Research on Program Verification Accepted at ACM COMPUTE Feb 6, 2026