I am Satyendra Kumar Banjare final year Electrical Engineering undergraduate student at IIT Roorkee. My current interests are applications of formal methods.

I maintain my findings at the PLT section of my website.

I have created a list of research and industry application focused materials and resources on the topic. It can be found at the Resources section of my website.

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

Latest Blogs

Aug 3, 2019

Differential Privacy

 Explainatory blog on differential privacy

Aug 2, 2019

Probabilistic Programming

 An attempt to understand Probabilistic programming by using Programming Language theory approach.

Jul 25, 2019

Z3 theorem prover

 Simple tutorial explaining on solving River Crossing Problem in z3.

Jun 10, 2019

Make C compiler using LLVM

 A simple tutorial on making a C compiler using LLVM backend.

Mar 10, 2019

LLVM

 First experiences with LLVM