Organizing team volunteer at Formal Methods Meet 2019 held at IIT Hyderabad.
TOOLympics-SVCOMP 2019 talk on Pinaka held at Prague, Czech Republic.
Teaching Assistant, CS6483 - Constraint Programming
Organizing team volunteer for SAT-SMT School 2018 held at IIIT Hyderabad.
Interned at SAG Department, DRDO. Studied and developed Image Encryption techniques.
Design Subdivision Head, Placement Team at Indraprastha College for Women.
Served in Discipline Committee of National seminar 'Frontiers of Computational Research', Delhi University