I am currently visiting SRI International as a international fellow. I work at Getulio Vargas Foundation.

Between April and July of 2008, I worked at MS Research, also as a international fellow.

I am currently finishing my PhD at PUC-Rio. My advisor is Edward Hermann Haeusler, we are part of a team called TecMF Lab. My research is about Description Logics and Proof Theory.

As soon as possible, I will update this page with my publications and other materials. At the mean time, you can follow me at Delicious,  Twitter and all those amazing social network services.

You can also find out more about me at:

1. Publications at DBLP
   

2. Curriculum Lattes (Portuguese)
   

I do like to take pictures! It is my hobby. I will post some of them soon.  The two above are San Francisco and me.