CS@Ashoka

Maintained By Department Representatives

HOME
OPPORTUNITIES
COURSES AND CERTIFICATIONS
PROJECTS AND THESES
ALUMNI

Home Computer Science

Category

Computer Science 1

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

Recently Updated

Roshni Agarwal Wins ESET Women in Cybersecurity Scholarship
Paper Presentation by Vansh Bothra at MobileHCI, Egypt
Vaani Goenka’s Research on Program Verification Accepted at ACM COMPUTE
From the India Conference at Harvard Hackathon to PReMI 2025

Trending Tags

research accessibility acm-compute ai-in-education ashoka-university computer-science conference cybersecurity e-commerce HCI

© 2026 CS Department Representatives.

Ibrahim Khalil & Manya Garg

Trending Tags

research accessibility acm-compute ai-in-education ashoka-university computer-science conference cybersecurity e-commerce HCI

A new version of content is available.