Current Position & Biography
Manuel Bravo is a researcher and protocol engineer at Informal Systems. His public professional profile lists Spain as his location. Previously, he was a postdoctoral researcher at IMDEA Software Institute in Madrid. He earned a joint computer science doctorate from the University of Lisbon and the Catholic University of Louvain in 2018. His academic work combines the design of provably correct protocols with practical study of distributed systems.
Notable Contributions
Bravo coauthored Liveness and Latency of Byzantine State-Machine Replication with Gregory Chockler and Alexey Gotsman. The paper develops a modular way to reason about progress and response time in replicated systems with malicious participants. It specifies a synchronizer that coordinates protocol views, supplies a bounded-space implementation under partial synchrony, and applies the framework to several replication protocols. The analysis includes the algorithmic core of PBFT. These are guarantees within the stated model, not a claim that every implementation is free of defects.
Why Katharos.ai Is Following Them
Katharos.ai follows Bravo because consensus engineering must connect mathematical arguments with software that continues to operate during disruption. A system can preserve consistency while failing to make useful progress. Studying both behavior and latency makes it possible to ask more precise questions than whether a blockchain is simply fast or secure.
Areas to Follow
Replication, consensus liveness, protocol engineering and formal reasoning about distributed systems. Coverage will examine the assumptions behind fault tolerance, how leader changes affect progress and what an implementation must preserve for a proof to remain relevant. Practical measurements and formal models serve different purposes; neither should be treated as a substitute for the other.
Reporting Scope
Spain reflects the location listed on Bravo’s public professional profile, rather than nationality or Informal Systems headquarters. His employer role is separately supported by his own current biography. Earlier IMDEA employment is historical. This profile focuses on technical contributions to blockchain infrastructure and does not imply an endorsement of any network, asset or investment.
Sources for Further Reading
https://angbrav.github.io/ https://es.linkedin.com/in/manuel-bravo-70891331 https://arxiv.org/abs/2202.06679
Photo Credit
Portrait from Manuel Bravo’s personal academic website. Photographer and rights holder are not identified in the original metadata; no unrestricted license is claimed. Whole native photograph padded to 16:9 without cropping, resizing or facial alteration. Original EXIF, IPTC and XMP retained.
Editorial Disclaimer
This profile summarizes information from the cited sources. Katharos.ai does not endorse the subject or guarantee every source claim’s authenticity.