Rodrigo Bonifácio is an associate professor and computer scientist with over 20 years of experience specializing in program analysis, software security and static analysis. Based in Brasília, he advises master’s and Ph.D. students while coordinating industry and government R&D projects, including architectural migrations and corporate systems for the Brazilian Army. His career spans academia and industry—contributing research-grade tools such as RJTL for Java modernization, a Scala implementation of SVFA, and DroidXP for Android test-generation experiments. He combines deep static-analysis expertise (Soot, Scala, RascalMPL) with hands-on software architecture and DevOps practice, having led modernization and quality-assurance efforts in large organizations. Known for bridging research and production, he frequently turns program-analysis research into reusable open-source tooling.
13 years of coding experience
24 years of employment as a software developer
Doctorate degree Computer Science, Doctorate degree Computer Science at Universidade Federal de Pernambuco
Master‘s degree Computer Science, Master‘s degree Computer Science at Universidade Federal de Campina Grande
Bachelor Computer Science, Bachelor Computer Science at Universidade Federal da Paraíba
Contributions:59 commits, 11 PRs, 45 pushes in 2 years 2 months
rascaljava-8standard-librarydfajava
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.