Sobre mim
Eu sou um analista de provas formais na Higher Order Company & um entusiasta da programação funcional e também das tecnologias descentralizadas, que garantem a privacidade e autonomia do usuário.
Sou pai do Matteo, teólogo reformado, autodidata, estou escrevendo um livro sobre Kind e provas formais, sou amante da filosofia de código aberto, nerd e apaixonado por bebidas amargas.
Acesse meu blog e veja um pouco sobre provas formais e outras coisas que gosto ou acho útil.