Summary
Pedro Matiello
Computer Science undergraduate student at
Instituto de Matemática e Estatística - Universidade de São Paulo
Currently living in São Paulo, Brazil.
Contact
Email: pmatiello@gmail.com | public-key
Projects
python-graph :: a library for working with graphs in Python.
Academic works
contradictio :: clausal logic theorem prover.