Eliã Batista
Software Engineer | Distributed Systems Researcher
Basel, Switzerland
Software Engineer | Distributed Systems Researcher
Basel, Switzerland
I am a Full Stack Software Engineer and former Postdoctoral Researcher in the Distributed Systems Group at Università della Svizzera Italiana (USI), Lugano, Switzerland. I received my Ph.D. in Informatics from USI in a cotutelle de thèse program with PUC-RS (Brazil). I also hold an M.Sc. and a B.Sc. in Computer Science from PUC-RS.
My PhD research focused on dependable distributed systems, with particular emphasis on State Machine Replication (SMR), Atomic Multicast, parallel scheduling, and Blockchain state management and recovery. I am especially interested in designing efficient and fault-tolerant protocols that scale under realistic workloads and dynamic system conditions.
My recent work explores optimized data structures and algorithms for efficient SMR/Blockchain state transference and communication overlays that address fault tolerance, system reconfiguration, and performance variability under different workload and locality patterns. My research combines protocol design, systems implementation, and experimental evaluation on real distributed infrastructures.
Before academia, I spent over a decade in industry as a Senior Software Developer and System Analyst, working on large-scale systems and full-stack applications. This background strongly influences my research approach, with an emphasis on practicality, performance, and real-world applicability.
Ph.D. in Informatics – USI / PUC-RS (cotutelle), Lugano, Switzerland (2021–2026)
Advisors:
Prof. Dr. Fernando Pedone (USI) and
Prof. Dr. Fernando Dotti (PUC-RS)
PhD Thesis:
Revving Up Replication: Communication and State Management for State Machine Replication
(English,
Português)
M.Sc. in Computer Science – PUC-RS, Porto Alegre, Brazil (2018–2020) (Dissertation)
B.Sc. in Computer Science – PUC-RS, Porto Alegre, Brazil (2006–2011)
Postdoctoral Researcher – USI, Switzerland (2026)
PhD Researcher / R & D Engineer – USI, Switzerland (2021-2026)
Senior Software Developer – Compasso UOL, Brazil (2017–2020)
System Analyst – Bem Promotora, Brazil (2014–2017)
Software Developer – DB & Vensis, Brazil (2008–2013)
Robust and efficient replication with CAV data structures
Eliã Batista; Eduardo Alchieri; Paulo Coelho; Fernando Dotti; Fernando Pedone
Proceedings of the ACM Symposium on Cloud Computing (SoCC'26), Singapore, 2026
TRAM: Tree-based atomic multicast on RDMA
Lorenzo Martignetti; Eliã Batista; Gianpaolo Cugola; Fernando Pedone
Proceedings of the ACM Symposium on Cloud Computing (SoCC'26), Singapore, 2026
B+AVL trees: towards data structures for robust and efficient blockchain state synchronization
Michele Cattaneo; Eliã Batista; Fernando Pedone
Proceedings of the 44th International Symposium on Reliable Distributed Systems (SRDS), Porto, Portugal, 2025
FlexCast: Genuine Overlay-based Atomic Multicast
Eliã Batista; Paulo Coelho; Eduardo Alchieri; Fernando Dotti; Fernando Pedone
Proceedings of the 24th International Middleware Conference (Middleware), Bologna, Italy, 2023
Early Scheduling on Steroids: Boosting Parallel State Machine Replication
Eliã Batista; Eduardo Alchieri; Fernando Dotti; Fernando Pedone
Journal of Parallel and Distributed Computing (JPDC), Volume 163, May 2022, Pages 269–282
Resource Utilization Analysis of Early Scheduling in Parallel State Machine Replication
Eliã Batista; Eduardo Alchieri; Fernando Dotti; Fernando Pedone
9th Latin-American Symposium on Dependable Computing (LADC), Natal, Brazil, 2019
I have extensive teaching experience as a Teaching Assistant at USI, contributing to undergraduate and graduate courses in core systems topics. My teaching emphasizes hands-on experimentation and the connection between theory and real system implementations.
Programming
Tools / Platforms