Achievements 2 Vaani Goenka’s Research on Program Verification Accepted at ACM COMPUTE Feb 6, 2026 Roshni Agarwal Wins ESET Women in Cybersecurity Scholarship Nov 10, 2025