Dhrubajyoti Ghosh
Coursework
Masters
| M1 (Sep '23 - Jan '24) |
|---|
| Probabilistic Aspects of Computer Science Serge Haddad, Thomas Nowak |
| Lambda Calculus and Categories Paul-André Melliès |
| Basics of Verification Stefan Schwoon |
| Tree Automata and Applications Stefan Schwoon |
| Initiation to Research Thomas Nowak, Matthias Függer |
Undergraduate
| Semester 6 (Jan '23 - Apr '23) |
|---|
| Clock Synchronization and Adversarial Fault Tolerance Christoph Lenzen, Danny Dolev |
| Infinite State Verification K. Narayan Kumar |
| Games on Graphs B. Srivathsan |
| Art of Short Fiction Usha Mahadevan |
| German 2 Pavithra Ravishankar |
| Semester 5 (Aug '22 - Nov '22) |
| Intro to Concurrent Programming K. Narayan Kumar |
| Timed Automata B. Srivathsan |
| Mathematical Logic M. Praveen |
| Constraint Solving and Deep Learning M. K. Srivas |
| German 1 Pavithra Ravishankar |
| Semester 4 (Jan '22 - May '22) |
| Computational Complexity Prajakta Nimbhorkar |
| Programming Language Concepts Madhavan Mukund, S. P. Suresh |
| Topology Krishna Hanumanthu |
| Complex Analysis B. V. Rao |
| Differential Equations Clare D'Cruz |
| Semester 3 (Sep '21 - Dec '21) |
| Theory of Computation K. Narayan Kumar, C. Aiswarya |
| Design and Analysis of Algorithms Nithin Varma, Prajakta Nimbhorkar |
| Algebra 3 (Ring, Field Theory) S. S. Kannan |
| Analysis 3 (Metric Topology) P. Sankaran |
| Calculus T. R. Ramadas |
| Semester 2 (Apr '21 - Jul '21) |
| Advanced Programming Samir Datta |
| Discrete Mathematics K. V. Subrahmanyam |
| Algebra 2 (Group Theory) Priyavrat Deshpande |
| Analysis 2 (Real Analysis) Sukhendu Mehrotra |
| Probability Theory P. Sankaran |
| Semester 1 (Dec '20 - Mar '21) |
| Algebra 1 (Linear Algebra) T. R. Ramadas |
| Analysis 1 (Real Analysis) Purusottam Rath |
| Intro to Programming with Haskell S. P. Suresh |
| Classical Mechanics Ashok Kapoor |
| Humanities Usha Mahadevan |