Satyendra Kumar Banjare

Final year Electrical Engineering undergraduate at IIT Roorkee. My current interests are applications of formal methods. I maintain my findings in the PLT section and a curated list of research and industry oriented materials in the Resources section of this website.

I believe formal methods are a set of powerful tools to solve a variety of complex problems ranging from Programming Language Research, Computer security, Cryptography, Secure Machine Learning, Quantum Programming languages, Differential Privacy, Secure Database systems and many more.