Chandrika Bhardwaj


My Pic 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
   - 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

  • Foundations of Automatic Verification (CSL750)
  • Introduction to Logic & Functional Programming (CSL765)
  • Cryptography & Computer Security (CSL759)
  • Special Topics in High Speed Networks (CSL867)
  • Architecture of High Performance Computers (CSL718)
  • Communication Skills (HUL810)

Teaching Assistantship (In reverse chronological order)

My Notebook is here.


Wondering whether you should get a PhD? Better read this first.
Looking for help in preparing for admission in PhD@IITD? Please check out this webpage.

Anyone can code! Learn here.

Free track counters
Unique Hits