Kartik Nagar
Home
Publications
Projects
Courses
Personal
Contact
Courses
Jul-Nov 2024 - Paradigms of Programming [CS3100]
Jul-Nov 2023 - Recent Topics in Compilers [CS7030]
Jan 2021 - Languages, Machines and Computation [CS2200]
Aug 2021 - Compiler Design [CS3300]
Jan-May 2023 - Automated Program Verification [CS5030]
Cite
×