His Ph.D. dissertation won the CAPES thesis award as the best Brazilian thesis in computer science defended in 2010 and he was recently elected a member of the Brazilian Academy of Sciences.