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. ©