| I am a PhD student in the department of Computer Science & Engineering at Indian Institute of Technology Delhi.
Under the guidance of my advisor, Prof. Sanjiva Prasad, I am developing rigorous formal techniques for solving security problems.
I visited the department of Computer Science at Columbia University in the city of New York as a Fulbright-Nehru Doctoral Research Fellow in the academic year 2017-2018.
My areas of interest are:
- Security & Privacy
- currently focussing on Information Flow Security (IFC)
- Formal methods
- Type systems
- Proof Assistants
Current Research Team: VerTeCS
Previous Research Team: PreCog
For more information, please check my LinkedIn profile.
Room 212, Khosla School of Information Technology
India - 110 016
chandrika -dot- bhardwaj -plus- cseiitd -at- gmail -dot- com
Courses done at Indian Institute of Technology Delhi
Teaching Assistantship (In reverse chronological order)
My Notebook is here.