Afonso Fernandes
Porto, Porto, Portugal
Summary
👤
SeniorAfonso 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.
10 years of coding experience
Github Skills (23)
tlc10
tla10
verification10
vscode-extension10
model-checking10
specification10
tlaplus9
formal-methods9
pluscal9
telemetry9
keytool8
visual-studio-code8
keystore8
algorithm7
javascript7
Programming languages (6)
Github contributions (5)
afonsonf/ceph-consensus-spec
Mar 2021 - Jun 2022
TLA+ specification of the Ceph consensus algorithm
Contributions:25 commits, 17 pushes, 1 branch in 1 year 3 months
cephconsensus
afonsonf/tlaplus-graph-explorer
Apr 2021 - Aug 2021
A static web application to explore and animate a TLA+ state graph.
Contributions:16 commits, 12 pushes, 6 comments in 4 months
graphtlaplusjavascript
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.