Faculty

Sujit Kumar Chakrabarti Meenakshi D'Souza

PhD Students

Gracy Joseph Kartika Venkatesan Rajanikanth N. Kashi
Abhishek Singh Ramkrishnan Raman Avijit Mandal
Varsha P. Suresh

Masters by Research Students

Khusbu Bubna Surabhi Jha Ananta Kumar Das
Nitin Bhatia Maithily Diwan

Project Students


iMTech 2013
Aneesha Devulapally, , (Supervisor: Meenakshi D'Souza)
Project: Compiler IT verification using Coq theorem prover
Rishabh Manoj, , (Supervisor: Meenakshi D'Souza)
Project: Simulink refinments using Isabelle theorem prover
Sowmya Rudraraju, , (Supervisor: Meenakshi D'Souza)
Architecture decision frameworks for System of systems

Thesis (MTech, iMTech, Sponsored MTech)


MTech (Sponsored) 2013
Praveen George, (Supervisor: Meenakshi D'Souza)
Dhinakar Kalyanasundaram, (Supervisor: Meenakshi D'Souza)
Hilam Patel, (Supervisor: Meenakshi D'Souza)
Palani kumar Subramanian, (Supervisor: Meenakshi D'Souza)
MTech (Sponsored) 2014
Gnanasekaran Balasubramanian, (Supervisor: Meenakshi D'Souza)
Vikram Nelvoy Rajendran, (Supervisor: Meenakshi D'Souza)
C Jayendran, (Supervisor: Sujit Kumar Chakrabarti)
Automated Evaluation of Programming Assignments