B.Tech. (including dual degree students)
- Shreesha Bhat (Next position: PhD student at UIUC)
- Automating cutoff-based verification of distributed protocols
M.Tech.
- Rhythm Jain (2022-23) (Next position: Embedded Software Engineer, Enphase Energy)
- Superoptimization of Smart Contracts on Ethereum Blockchain using ILP
- Jude Anil (2022-23)
- Exploring Concurrent Program Verification Through Iris
- Vivek Kumar (2021-22) (Next position: Software Engineer, Microsoft India)
- Verifying Robustness of Transactional Applications under Weak Consistency
- Aanchal Jawere (2021-22) (Next position: Software Engineer, Oracle India)
- Parallelizing Transaction Validation for Smart Contracts in Blockchain