Rodrigo Ribeiro

Brazil

http://sites.google.com/site/rodrigogribeiro

Type theorist wanna be... Like logics, theorem proving, chess, beer and bacon!