Daniel Porto
Postdoctoral Researcher at INESC-ID
Lisbon, Portugal
Summary
👤
Senior🎓
Top SchoolDaniel Porto is a Postdoctoral Researcher based in Lisbon with a decade of experience researching fault tolerance, distributed systems and cloud computing. He blends deep academic rigour—holding PhD-level training across institutions including University of Lisbon and Universität des Saarlandes—with practical systems experience from roles at INESC‑ID, Max Planck and industry internships like Samsung Research America. His work spans consistency protocols, blockchains and microservices with a focus on cost-effective, highly available cloud designs. He has taught hands-on courses in cybersecurity and DevOps tooling, and his background includes building fault-tolerant prototypes and teaching students to apply Paxos-based replication in real systems. Colleagues describe him as a researcher who bridges theory and production, often revealing practical optimizations that reduce operational cost without sacrificing reliability.
11 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy (PhD), Distribtued Systems - Fault Tolerance, Doctor of Philosophy (PhD), Distribtued Systems - Fault Tolerance at Universität des SaarlandesDoctor of Philosophy (PhD), Distributed Systems - Fault Tolerance, Doctor of Philosophy (PhD), Distributed Systems - Fault Tolerance at Universidade Nova de LisboaColégio Nossa Senhora AuxiliadoraMaster of Science (M.Sc.), Distributed systems - Routing protocols for Wireless Mesh Networks, Master of Science (M.Sc.), Distributed systems - Routing protocols for Wireless Mesh Networks at Universidade Federal da ParaíbaHigh School, High School at Colégio Dom BoscoDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Lisbon
English, Portuguese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (200)
openldap10
automation10
ecosystem10
material-design10
privacy10
password-manager10
assemble10
python10
windows10
ssh10
dart10
tty10
mobile10
tmux10
cli10
Programming languages (17)
Github contributions (5)
danielporto/bftsmart
Apr 2018 - May 2019
Contributions:16 commits, 8 pushes in 1 year
danielporto/dockerized-gitkraken-gui
Aug 2020 - Oct 2022
Contributions:21 commits, 14 pushes, 1 branch in 2 years 1 month
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.