Brazilian mathematician and computer scientist (software developer) holding a Masters degree from the Federal University of Pernambuco and a PhD from the University of Waterloo. He is a Senior Researcher 1A of CNPq and a Member of the Brazilian Academy of Sciences. Link to Wikipedia biography (Portuguese)