1 | Finite Automata-Prof. N S Narayanaswamy, IITM | PDF unavailable |
2 | TMs, Halting Problems-Prof. N S Narayanaswamy, IITM | PDF unavailable |
3 | Concurrency-Prof. Madhavan Mukund, CMI | PDF unavailable |
4 | Blockchain and Bitcoin-Prof. S P Suresh,CMI | PDF unavailable |
5 | Complexity Theory-Prof. Jayalal Sarma, IITM | PDF unavailable |
6 | Lower Bounds, Dealing with NP hardness-Prof. Venkatesh Raman,IMSC | PDF unavailable |
7 | Online and streaming algorithms-Prof. Prajakta Nimbhorkar,CMI | PDF unavailable |
8 | Zero Knowledge Proofs-Prof. Meena Mahajan,IMSC | PDF unavailable |
9 | Verification, Games-Prof. Madhavan Mukund, CMI | PDF unavailable |