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