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 - Verification - Type systems - Proof Assistants Current Research Team: VerTeCS Previous Research Team: PreCog |
For more information, please check my LinkedIn profile. Office Address: Room 212, Khosla School of Information Technology IIT Delhi New Delhi India - 110 016 Email: chandrika -dot- bhardwaj -plus- cseiitd -at- gmail -dot- com |
Recent Publications
Courses done at Indian Institute of Technology Delhi
|
Teaching Assistantship (In reverse chronological order)
|
My Notebook is here.