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 |