Sheera Shamsu
PhD Scholar ( Roll No: CS20D001 ) Email : CS20D001 [at] smail [dot] iitm [dot] ac [dot] in Advisor(s) : K. C. Sivaramakrishnan Lab(s) : PACE Lab. |
| Jan 2022 - Apr 2022 | : | - Automated Program Verification (CS5030) |
| Aug 2021 - Dec 2021 | : | - Compiler Design (CS3300) |
| Feb 2021 - May 2021 | : | - Programs and Proofs (CS6225) |
 |
Department of Computer Science and Engineering Indian Institute of Technology Madras. Chennai, Tamilnadu, India. PIN Code : 600036 |
 |
