About

Hi! I am Shubham. I have experience in OCaml and Coq and my professional interests are in Functional Programming and Formal Methods.