Courses

COL 750 Foundations of Automatic Verification
Sem II (2021-22)
Jan 1, 2022
COL 765 Introduction to Logic and Functional Programming
Sem I (2021-22)
Aug 8, 2021
COL226 Programming Languages
Sem II (2020-21)
Jan 1, 2020
COL865 Digitisation and Privacy
Sem I (2020-21)
Aug 1, 2020
COV 882 Special Module in Software Systems -- Software Abstractions
Sem I (2020-21)
Aug 1, 2020
COL100 Introduction to Computer Science
Sem I (2022-23)
Jan 8, 2023
COL 871 Special Topics in Programming Languages -- Program Synthesis
Sem I (2019-20)
Aug 1, 2019