M.Tech.(CS) 2021-2022 Semester I:

• Elements of Algebraic Structures

• Advanced Logic and Automata Theory (with Ansuman Banerjee)

Ph.D. students:

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

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

• Sanjay Kumar (2019 onwards) ISI Chennai

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

Masters students:

• Mohamed Anas (2021)

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

• Pinaki Chakraborty (2020)

• Spandan Das (2020)