Hi! I’m Vatsal, a software engineer and an aspiring boffin, primarily working with Java and Kotlin. I am also fascinated by functional programming languages particularly Haskell, OCaml and Lean.

I like to think about pure mathematics, theoretical computer science and programming (among other things). Every now and then, I blog about those things. It helps me think and learn more clearly.

My CV is available upon request.