Jude K Anil
Last position held : M.Tech Student ( Roll No: CS21M025 ) Duration with CSE Dept : Jul 2020 to Jul 2023
Guide(s) : Kartik Nagar Faculty Advisor : Balaraman Ravindran
M.Tech Thesis Title :
Exploring Concurrent Program Verification Through Iris
