Supervisor: Subhajit Roy
Research Interest: Type Theory, Proof assistants, Verification
Supervisor: Arnab Bhattacharya
Research Interest: Information Retrieval, Natural Language Processing, Graph Mining, Data Mining
Supervisor: Arnab Bhattacharya
Research Interest: Graph Mining, Data Mining