Manuel Bravo
Researcher at Informal Systems
Spain
Summary
🤩
Rockstar🎓
Top SchoolManuel Bravo is a researcher specializing in the design and implementation of distributed systems, currently working at Informal Systems after a postdoctoral fellowship at IMDEA Software Institute. With 13 years of experience and a PhD earned jointly from the University of Lisbon and Université catholique de Louvain, he blends deep academic rigor with practical engineering. His background includes an earlier entrepreneurial phase building web and eBusiness solutions, giving him hands-on expertise in deployment and systems integration beyond pure research. Trained across multiple European institutions in distributed computing, he brings a pan-European perspective to fault-tolerant and scalable system design. Colleagues value his ability to turn formal research ideas into working prototypes that address real-world distributed-systems challenges.
13 years of coding experience
12 years of employment as a software developer
MSc European Master in Distributed Computing, Distributed Computing, MSc European Master in Distributed Computing, Distributed Computing at KTH Royal Institute of TechnologyDoctor of Philosophy (PhD), Computer Science (Distributed Computing), Doctor of Philosophy (PhD), Computer Science (Distributed Computing) at Université catholique de LouvainMSc European Master in Distributed Computing, Distributed Computing, MSc European Master in Distributed Computing, Distributed Computing at Instituto Superior TécnicoDoctor of Philosophy - PhD, Computer Science, Pass with Distinction and Honour, Doctor of Philosophy - PhD, Computer Science, Pass with Distinction and Honour at University of LisbonMSc, Computer Science, MSc, Computer Science at Universidad de Valladolid
Spanish, English, Portuguese, Italian
Github Skills (43)
cosmos-sdk10
consensus10
erlang10
ecosystem10
tendermint10
cosmos10
distributed-systems10
crdt10
cryptocurrency10
distributed-ledger10
consistency10
interchain10
go10
planet10
ethereum10
Programming languages (7)
Github contributions (5)
angbrav/saturn_leaf
Nov 2015 - Aug 2017
Contributions:26 PRs, 431 pushes, 72 branches in 1 year 9 months
informalsystems/partnership-heliax
Apr 2022 - Jan 2024
Contributions:115 reviews, 93 PRs, 166 pushes in 1 year 9 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.