João Leitão
Associate Professor
Lisbon, Lisbon, Portugal
Summary
👤
Senior🎓
Top SchoolJoão Leitão is an Associate Professor and integrated researcher at NOVA LINCS with over a decade of experience specializing in large-scale distributed systems, gossip protocols, overlay networks and geo-replication. He combines a strong academic pedigree—a PhD in Computer Science from Instituto Superior Técnico and a perfect-score MSc on gossip protocols—with practical roots as a former software developer, which informs his pragmatic approach to fault-tolerance and self-managed systems. His work spans both theoretical research and applied cloud/replication systems, with a steady academic trajectory at NOVA University of Lisbon since 2013. Beyond publications, he maintains an active professional presence through personal and lab pages that reflect ongoing projects and collaborations. Colleagues value him for bridging rigorous distributed-systems research with real-world system design and dependable implementations.
10 years of coding experience
9 years of employment as a software developer
Master, Computer Science (Gossip Protocols and Overlay Networks), 20 out of 20, Master, Computer Science (Gossip Protocols and Overlay Networks), 20 out of 20 at Universidade de LisboaEscola Secundária Madeira TorresDoctor of Philosophy (PhD), Computer Science, Approved with Distinction, Doctor of Philosophy (PhD), Computer Science, Approved with Distinction at Instituto Superior Técnico
English
Github Skills (5)
ipfs8
jdownloader8
transmission7
python6
legion2
Programming languages (4)
Github contributions (5)
jcleitao/p2psim-p2p-example
Sep 2021 - Jan 2022
Contributions:10 commits, 8 pushes, 1 branch in 3 months
SyncFree/Divergence
Jul 2015 - Mar 2016
Contributions:22 commits, 2 pushes in 8 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.