about
I work on Rust, distributed systems, protocol implementations, and peer-to-peer networking.
- Senior Rust Protocol Engineer at Sigma Prime [12/2024-]. I work on Anchor, the Rust SSV protocol client.
- Distributed Systems Engineer at Status [9/2022-10/2024]. I worked on nim-libp2p, including Tor, QUIC, TCP hole punching, and GossipSub.
- Distributed Systems Engineer at RDX Works [8/2021-8/2022]. I worked on Layer 1 node software, focusing on storage and trie design, performance, and test runtime.
- Software Engineer at Finteum [2019-2021].
- Earlier backend roles in Java, Kotlin, and Scala [2012-2019].
- B.Sc. in Computer Science from UFRJ [2011].
notes
Short posts on distributed systems, protocol design, and things that took longer to understand than they should have.
A 3-part sequence on why leader-based BFT needs a third round, when larger replica sets make 2 rounds possible, and what the next view must be able to recover.