Hello There! 👋
I am a Brazilian computer scientist who is constantly thrilled with the impact type systems can have on users. I have experience working with software development and my three main interests are Type Theory, Formal Verification, and Systems Programming.
👇 You can find me on 👇