About
Bachelor of Computer Science — Instituto de Matemática e Estatística, Universidade de São Paulo.
Currently living in São Paulo, Brazil, and working for BuscaPé as developer.
Links
Personal and Academic Projects
python-graph
A library for working with graphs in Python.
luminescence
An application for generating HTML presentations from Markdown sources.
pistache
A π-Calculus internal DSL for Scala.
(This is my Course Final Project.)
contradictio
An implementation of the Disconnection Tableaux Calculus with Unification.
(This is my Undergraduate Research Project.)
assemblage
A small Python framework for building objects in dependency-injection style.
Public Projects Developed at Caelum
VRaptor
A Java MVC web framework focused in fast development.
(Worked on support for Google AppEngine and for the Scala language.)
restfulie-py
A library for RESTful systems integration.
Talks
Pistache: A π-Calculus Internal Domain Specific Language for Scala
XIV Simpósio Brasileiro de Métodos Formais (SBMF 2011), September/2011.