services

Academic services

1. Tutor for Fundamentals of Computing (ESC-101), a programming course for undergraduate first-year students at IIT Kanpur.
2. Teaching assistant for Program Analysis, Verification And Testing (CS 639)
3. Teaching assistant for Designing Verifiably Secure Systems (CS 698K)

Other services

1. Student volunteer at SPLASH 2022 conference held in Auckland, New Zealand
2. Artifact evaluation committee member for POPL’23, CC’22 and CGO’22