PhD 2014 Students



Abhishek Dang
Supervisor: Piyush P Kurur, Sunil Simon
Research Interest: Type Theory, Proof assistants, Verification
Amit Kumar Sinhababu
Supervisor: Nitin Saxena
Research Interest: Computational number theory and algebra, algebraic complexity theory, computational complexity theory
Awanish Pandey
Supervisor: Subhajit Roy
Research Interest: Program Verification, testing, analysis
Hrishikesh Terdalkar
Supervisor: Arnab Bhattacharya
Research Interest: Graph Mining, Data Mining
Shubhangi Agarwal
Supervisor: Arnab Bhattacharya
Research Interest: Graph Mining
Sumanta Ghosh
Supervisor: Nitin Saxena
Research Interest: Algebraic Complexity Theory