Afonso Fernandes
Software Developer at IBM
Porto, Porto, Portugal
Summary
👤
Senior🎓
Top SchoolAfonso Fernandes is a software developer with nine years of experience building secure, cloud-aware systems and a strong academic foundation in computer science and information security from Universidade do Porto. He has worked across industry and research environments—from consulting on hybrid cloud migrations at INESC to implementing cryptography-focused security systems for BMW at Critical TechWorks and supporting frontline DevOps at TeamViewer. Now at IBM, he brings practical expertise in DevOps, cloud transitions, and security engineering, paired with a researcher's curiosity and competitive programming background. Colleagues describe him as detail-oriented and comfortable navigating both low-level cryptographic concerns and higher-level system architecture. He combines hands-on implementation experience with an investigative mindset, often bridging gaps between research ideas and production-ready solutions. Based in Porto, he thrives on complex technical challenges that intersect security, reliability, and scalable deployment.
9 years of coding experience
4 years of employment as a software developer
Level 4 EQF High School degree Chemistry Environment and Quality, Level 4 EQF High School degree Chemistry Environment and Quality at Colégio Internato dos CarvalhosMaster's degree Information Security, Master's degree Information Security at Universidade do Porto
Github Skills (23)
tlc10
tla10
verification10
model-checking10
pluscal10
specification10
tlaplus9
vscode-extension9
formal-methods9
pem9
vscode9
keytool8
gm8
visual-studio8
rsa8
Programming languages (4)
Github contributions (5)
afonsonf/ceph-consensus-spec
Mar 2021 - Jun 2022
Contributions:25 commits, 17 pushes, 1 branch in 1 year 3 months
afonsonf/tlaplus-graph-explorer
Apr 2021 - Aug 2021
Contributions:16 commits, 12 pushes, 6 comments in 4 months
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.