Rhythm Jain M.Tech , Jul 2020 - Jul 2023 Guide(s) : Kartik Nagar Faculty Advisor : L A Prashanth Thesis Title : Super-optimization of smart contact on ethereum blockchain using ILP Next Position : Enphase Solar Energy (Embedded Software Engineer)
Jude K Anil M.Tech , Jul 2020 - Jul 2023 Guide(s) : Kartik Nagar Faculty Advisor : Balaraman Ravindran Thesis Title : Exploring Concurrent Program Verification Through Iris
Vivek Kumar M.Tech , Sep 2020 - Jul 2022 Guide(s) : Kartik Nagar Faculty Advisor : Rupesh Nasre Thesis Title : Verifying Robustness of Transactional Applications under Weak Consistency Next Position : Software Engineer
Aanchal Jawere M.Tech , Sep 2020 - Jul 2022 Guide(s) : Kartik Nagar Faculty Advisor : C. Chandra Sekhar Thesis Title : Parallelizing Transaction Validation for Smart Contracts in Blockchain Next Position : MTS @Oracle