Hello! I am a computer scientist interested in distributed systems, specifically in the algorithms and implementation for solving agreement problems, the design, verification, and all the challenges to maintain correctness. I like to work at the intersection of the distributed systems with storage systems.
I work as a software engineer at Red Hat on the core development of Infinispan, an in-memory distributed data grid. I am also a developer for jgroups-raft, an implementation of the raft algorithm on top of JGroups.
Previous to that, I worked for smaller companies here in Brazil. On the academic side, I got my master’s and bachelor’s degree in the Computer Science Faculty at the Federal University of Uberlandia under the supervision of Prof. Lasaro Camargos. My research focused on the verification of multicast algorithms, available here.