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

• Logic for Computer Science

Tsinghua Logic Summer School 2023:

• Logic and games (with Jeremy Seligman)

Ph.D. students:

• Smiha Samanta (2025 onwards) ISI Kolkata (with Sourav Chakraborty)

• Avijeet Ghosh (2025) ISI Kolkata (with Sourav Chakraborty)

• 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)