Eliã Batista

About me

I am a Ph.D. candidate and researcher in the Distributed Systems Group at Università della Svizzera Italiana (USI), Lugano, in a cotutelle de thèse program with PUC-RS, Brazil. My research focuses on dependable distributed systems, including State Machine Replication, parallel scheduling, and Atomic Multicast algorithms. I hold a M.Sc. and B.Sc. in Computer Science from PUC-RS and have published in top venues in distributed computing.

Before academia, I spent over a decade as a Software Developer and System Analyst. I enjoy exploring how distributed systems principles can enhance general software development and web applications performance and reliability.

I'm passionate about teaching and mentoring, with experience as a TA in distributed algorithms, operating systems, and systems programming. I'm always open to new research collaborations or discussions—feel free to reach out via email or connect on LinkedIn.

Curriculum Vitae | ORCID | Google Scholar

Education

Ph.D. in Informatics – Università della Svizzera Italiana (USI), Switzerland and PUC-RS, Brazil (2021–present)

M.Sc. in Computer Science – PUC-RS, Brazil (2020) (Dissertation)

B.Sc. in Computer Science – PUC-RS, Brazil (2011)

Professional experience

PhD Researcher and Teaching Assistant – USI, Switzerland (2021 - present)

• Conducted research and development in distributed dependable systems using Java, Go, Python, C, and Bash on Linux environments
• Administered a Linux cluster supporting experimental distributed systems
• Developed core SMR components and multicast algorithms focusing on performance and fault tolerance
• Authored and reviewed conference papers for top distributed systems venues
• Teaching assistant for Operating Systems, Systems Programming, and Distributed Algorithms courses

Senior Software Developer – Compasso UOL, Brazil (2017 - 2020)

• Led the development of scalable full-stack web applications using ReactJS and Node.js, contributing to architecture decisions and continuous integration workflows
• Built and maintained cross-platform mobile applications with React Native and TypeScript, integrating secure and performant RESTful APIs for enterprise clients
• Collaborated with UI/UX designers to implement responsive, user-centric features, improving engagement and usability across platforms
• Contributed to Agile processes (SCRUM), code reviews, and mentoring of junior developers in modern JavaScript and mobile best practices

System Analyst – Bem Promotora, Brazil (2014 - 2017)

• Developed and maintained ERP modules for a credit payroll loan financial company linked to Banrisul, a major bank in Southern Brazil
• Analyzed, documented, and communicated new system features to the development team to improve business process efficiency
• Implemented complex business rules and data processing using SQL Server stored procedures for accurate loan management and reporting
• Interacted closely with stakeholders to analyze requirements, define features, and ensure alignment with financial regulations and business needs

Software Developer – DB, Brazil (2010 - 2013)

• Developed and customized ERP modules using Microsoft Visual Basic tailored for a major fuel retail network (Postos Ipiranga) in Brazil, improving operational efficiency and sales tracking.
• Integrated and managed backend logic with SQL Server for efficient data storage and retrieval.

Software Developer – Vensis, Brazil (2008 - 2010)

• Built and maintained general-purpose ERP modules with Microsoft Visual Basic, adaptable for various enterprise environments.
• Optimized SQL Server queries and stored procedures to boost system performance and data consistency.

Academic research publications

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, Porto, Portugal, 2025

Scaling atomic ordering in shared memory
Lorenzo Martignetti; Eliã Batista; Gianpaolo Cugola; Fernando Pedone
CoRR abs/2509.07781, September 2025

Reconfiguring Atomic Multicast
Eliã Batista; Paulo Coelho, Eduardo Alchieri; Fernando Dotti; Fernando Pedone
Under review, IEEE Journal of Transactions on Dependable and Secure Computing, 2023

FlexCast: Genuine Overlay-based Atomic Multicast
Eliã Batista; Paulo Coelho, Eduardo Alchieri; Fernando Dotti; Fernando Pedone
Proceedings of the 24th International Middleware Conference, 2023, Pages 288 - 300

Early Scheduling on Steroids: Boosting Parallel State Machine Replication
Eliã Batista; Eduardo Alchieri; Fernando Dotti; Fernando Pedone
Journal of Parallel and Distributed Computing, 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
Proceedings of the 9th Latin-American Symposium on Dependable Computing - 2019

Teaching experience

• Distributed Algorithms - Graduate course - Università della Svizzera italiana (USI), Lugano, Switzerland
• Operating Systems - Undegraduate course - Università della Svizzera italiana (USI), Lugano, Switzerland
• Systems Programming - Undergraduate course - Università della Svizzera italiana (USI), Lugano, Switzerland

Co-supervisions

E. Steinmacher, Genuine atomic multicast on Apache Kafka, USI, 2024, Poster at PASC'24 conference, Zürich, Switzerland.