Alfrânio Júnior
Software Architect at Oracle
Guimarães, Braga, Portugal
Summary
👤
Senior🎓
Top SchoolAlfrânio Júnior is a Software Architect with 15 years of experience specializing in distributed systems, database replication, and transaction processing, currently working at Oracle in Guimarães, Portugal. He combines deep theoretical grounding—PhD-level work on group-communication replication and frequent use of formal methods like TLA+—with hands-on implementation of high-impact features in production systems such as MySQL Database Service and replicated state machines. His career includes designing self-stabilizing reconciliation mechanisms, binary-log group commit optimizations, and message delivery over Paxos-based protocols, demonstrating an ability to turn complex distributed algorithms into reliable, practical software. He has repeatedly bridged research and engineering, shipping scalable solutions at Oracle and SingleStore after a long research stint at the University of Minho. Known for approaching problems through formal specification before implementation, he favors provable correctness in fault recovery and concurrency control. Outside day-to-day engineering, he enjoys reading deeply about consensus and consistency models, which informs both his architecture decisions and mentorship of engineering teams.
15 years of coding experience
24 years of employment as a software developer
Graduation Informatics, Graduation Informatics at Universidade Católica do SalvadorPhD Distributed System Database Replication based on Group Communication, PhD Distributed System Database Replication based on Group Communication at Universidade do MinhoPos-Graduation Distributed System Mobile Agents, Pos-Graduation Distributed System Mobile Agents at Universidade Federal da Bahia
Github Skills (39)
innodb10
json10
storage-engine10
mysql-server10
twitter10
database-access10
mysql10
mariadb10
galera10
geographical-information-system10
vector-database10
amazon-web-services10
facebook10
sql-server10
oracle10
Programming languages (2)
Github contributions (5)
andysanchez77/mysql-fabric
Aug 2012 - Aug 2015
Contributions:291 commits in 3 years
availabilitymysqlfabricdeploymentmysql-deployment
facebook/mysql-5.6
Aug 2010 - May 2018
Facebook's branch of the Oracle MySQL database. This includes MyRocks.
Contributions:298 commits in 7 years 10 months
oracledatabasemysqlfacebook
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.