| Code |
Course Name |
Course Type |
Duration |
Links |
| CS3100 |
Paradigms of Programming |
Core |
Jul 2024 - Nov 2024 |
|
| CS5705 |
B.Tech(DD) Project - I |
Core |
Jan 2024 - May 2024 |
|
| CS3100 |
Paradigms of Programming |
Core |
Jan 2024 - May 2024 |
|
| CS5030 |
Automated Program Verification |
Elective |
Jan 2024 - May 2024 |
|
| CS3100 |
Paradigms of Programming |
Core |
Jul 2023 - Nov 2023 |
|
| CS7030 |
Recent Topics in Compilers |
Elective |
Jul 2023 - Nov 2023 |
|
| CS2810 |
Object Oriented Algorithms Implementation and Analysis Lab |
Core |
Jan 2023 - May 2023 |
|
| CS5030 |
Automated Program Verification |
Elective |
Jan 2023 - May 2023 |
|
| CS2710 |
Programming and Data Structures Lab |
Core |
Jul 2022 - Nov 2022 |
|
| 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 |
|
Instructor/TA :
Course Type :
