| I am a PhD student in CSE department of IIT Delhi.
I am currently involved in developing rigorous formal techniques for solving security problems.
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.