Pauca sed matura


Hi! I am João Paulo Pizani Flor (joaopizani) and this is my personal webpage. The page’s name (Pauca sed matura) is a latin phrase literally meaning “few but ripe”. Often referred to as the personal motto of Gauss, this is also something which I think I can relate to…

Currently, I am a Ph.D student in Computing Science (Programming Technology) at Utrecht University, in The Netherlands. I enjoy very much functional programming, Haskell, Agda, fiddling with Linux/Unix, and also a lot of non-techie stuff. The pages and posts here should give an idea of these passions.

Here are some of my other settlements around “The Internets”: