Olá! 👋
Eu sou bacharel em Ciência da Computação, apaixonado pelas especificidades das linguagens de programação e como elas podem afetar seus usuários. Possuo experiencia com desenvolvimento de software e meus três principais interesses são: Teoria dos Tipos, Verificação Formal e Desenvolvimento de Sistemas.
👇 Você pode me achar no 👇