Sheera Shamsu Home Page
PhD Scholar ( Roll No: CS20D001 )
Email : CS20D001 [at] smail [dot] iitm [dot] ac [dot] in   
Advisor(s) : K. C. Sivaramakrishnan


(Recent) Teaching Assistantship : View All  |  Back to top

Jan 2022 - Apr 2022 : - Automated Program Verification (CS5030)
Aug 2021 - Dec 2021 : - Compiler Design (CS3300)
Feb 2021 - May 2021 : - Programs and Proofs (CS6225)