Instructor/TA :
Course Type :
| Code | Course Name | Course Type | Duration | Links |
|---|---|---|---|---|
| CS5030 | Automated Program Verification | Elective | Jan 2022 - Apr 2022 | |
| CS3300 | Compiler Design | Core | Aug 2021 - Dec 2021 | |
| CS2200 | Languages, Machines and Computation | Core | Feb 2021 - May 2021 | |
| CS7030 | Recent Topics in Compilers | Elective | Feb 2021 - May 2021 | |
| CS5030 | Automated Program Verification | Elective | Aug 2020 - Dec 2020 |
