Code |
Course Name |
Course Type |
Duration |
Links |
CS2810 |
Object Oriented Algorithms Implementation and Analysis Lab |
Core |
Jan 2023 - May 2023 |
|
CS5030 |
Automated Program Verification |
Elective |
Jan 2023 - May 2023 |
|
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 |
|