nuvens lua montanha ao fundo montanha no meio montanha mais a frente

Olá tudo bem

marco da divisa grama
Foto minha com casaco com capuz e touca preta, no estilo doomer

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.

Entre em contato!

Venha falar comigo e saber um pouco mais, expandir a networking e até mesmo tomar um café!

Me chama no zap