Pauca sed matura

joaopizani

Olá! Eu sou João Paulo Pizani Flor (joaopizani) e essa é a minha página pessoal. O nome da página (Pauca sed matura) é uma frase latina que significa literalmente “poucos porém maduros”. Geralmente atribuída a Gauss, esse é um “lema” sob o qual eu também procuro manter minhas criações…

Atualmente, eu sou doutorando em Ciência da Computação (Programming Technology) na Universiteit Utrecht, nos Países Baixos. Minhas paixões incluem programação funcional, Haskell, Agda, hackear Linux/Unix, e várias outras coisas menos nerd. As páginas e posts aqui devem dar uma idéia melhor dessas paixões.

Alguns outros lugares onde posso ser encontrado nas “internets”: