Hi there, I'm an iOS programmer and functional programming enthusiast. During off hours I like to read Open Source code or formalize mathematics in Coq, Isabelle or Agda.

I have worked in several languages including: Java, Haskell, C++, .Net and Javascript. I have recently graduated with a Bachelor's in Computer Science (year 2022).

If you'd like to know more, Check out my Github or Twitter.