M.Math. / M.Tech.(CS) 2024-2025 Even Semester:

• Logic for Computer Science

Tsinghua Logic Summer School 2023:

• Logic and games (with Jeremy Seligman)

Ph.D. students:

• Avijeet Ghosh (2020 onwards) ISI Kolkata (with Sourav Chakraborty)

• Sanjay Kumar (2019 onwards) ISI Chennai

• Li Lei (2023) Tsinghua - Amsterdam Joint Research Centre for Logic (with Johan van Benthem and Sonja Smets)

• Arka Banerjee (2021) Jadavpur University (with Samir Karmakar)

Masters students:

• Sahil Sharma (2023) (Best Dissertation Award in M.Tech.(CS) for 2021-2023 batch)

• Mohamed Anas (2021)

• Shashank Pathak (2021) IISER Bhopal (with Kashyap Rajeevsarathy)

• Pinaki Chakraborty (2020)

• Spandan Das (2020)