Rodrigo Bonifácio
Associate Professor
Brasília, Federal District, Brazil
Summary
👤
Senior🎓
Top SchoolRodrigo 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.
14 years of coding experience
24 years of employment as a software developer
Doctorate degree Computer Science, Doctorate degree Computer Science at Universidade Federal de PernambucoMaster‘s degree Computer Science, Master‘s degree Computer Science at Universidade Federal de Campina GrandeBachelor Computer Science, Bachelor Computer Science at Universidade Federal da Paraíba
Portuguese, English
Stackoverflow
262reputation
4kreached
3answers
16questions
Github Skills (122)
python10
coreference10
rascal10
orientdb10
code-generation10
sentiment-analysis10
sql10
nlp10
corenlp10
relational-algebra10
stanford-nlp10
java10
scala10
graph-store10
query-language10
Programming languages (15)
Github contributions (5)
rbonifacio/hephaestus-pl
Apr 2013 - Jun 2015
Contributions:5 commits, 2 PRs, 6 pushes in 2 years 2 months
helpmehelpus/MoniTests
Oct 2021 - Apr 2022
This project aims to apply JavaMop, a Java implementation of Monitoring-Oriented Programming, to verify usage of cryptographic llibraries
Contributions:2 reviews, 177 commits, 6 PRs in 6 months
javamonitoring
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.