research 2 Paper Presentation by Vansh Bothra at MobileHCI, Egypt Feb 6, 2026 Vaani Goenka’s Research on Program Verification Accepted at ACM COMPUTE Feb 6, 2026