Jun 2021 – Aug 2021 · 2 mos

• I worked on a project titled 'Enabling partial verification of Rust projects using Prusti'. In this project, we fixed crashes of Prusti, a prototype verifier for Rust, by either implementing the features or converting them to errors/warnings. As a result of this project, the number of crates not crashing on Prusti increased from 10 to 186.

Mar 2021 – Apr 2021 · 1 mo

• One of the instructors for the very first 'Data Structures and Algorithms' course on Gradskey platform. I taught few topics in data structures and algorithms to around 150 students.

May 2020 – Jul 2020 · 2 mos · Remote

• The aim of the internship project was to implement ready-to-use mergeable data structures using the Irmin library. Four data structures were implemented: Counter, Last-write-wins register, Blob log and Linked log. OCaml programming language was used to implement this project. Link to the code: https://github.com/mirage/irmin/tree/master/src/irmin-containers

Jan 2020 – Mar 2020 · 2 mos

• DSA.zip is a small student group which conducts classes on Data Structures and Algorithms to non-CS students at IITM. I was one of the founding members and an instructor of the group.

May 2019 – Jul 2019 · 2 mos · Bengaluru, Karnataka, India

• I worked on improving the robustness of time series classifiers against adversarial attacks using data augmentation methods. My main role was implementing and training the neural network classifier along with ideating about new techniques for augmentation.