Projects
A collection of things shaped by code, curiosity, and craft.
Below are some of the projects I've built over my 4+ years of coding experience. This selection highlights work in software engineering, systems programming, and cryptography.
-
Tomato.C
Pure C terminal application with TUI interface
-
Archaeologus
Evidence-based code archaeology tool for reconstructing the context, history, decisions, dependencies, and risks behind a codebase
-
ProofVote
Experimental blockchain-based electronic voting system
-
BibInject
A tool for automating LaTeX references in HTML, even used on this website
-
Motrix
Minimal C++ ECS framework
-
Pendulum Tracker
Full-stack app for pendulum tracking
Experience
A timeline of activities in research and software development.
Throughout my journey in software development and research, I've had the opportunity to work on diverse projects, from academic research to professional SaaS development. Below is a timeline of my professional and research experiences, highlighting contributions in distributed systems, applied cryptography, and backend engineering.
-
Scientific Research Scholarship - RNPNovember 2024 - November 2025 | Toledo, Brazil
Integrated post-quantum cryptography into blockchain, analyzing efficiency and optimizing signature sizes for long-term security. Implemented Go bindings and adapted the Go runtime for Hyperledger Fabric integration.
-
Junior Software Developer - NeticShardApril 2024 - March 2025 | Remote, LATAM
Developed backend for a SaaS IT incident response platform in Go. Implemented unit, integration, and E2E tests, structured CI/CD pipelines, applied Domain-Driven Design principles, and built modular architecture.
-
Scientific Research Scholarship - PIBITISeptember 2024 - November 2024 | Toledo, Brazil
Researched post-quantum cryptography applied to lattice-based systems, studying KEMTLS and post-quantum TLS protocols, and implementing cryptographic primitives focusing on security and efficiency.
-
Undergraduate Research Assistant - UTFPR2023 - 2024 | Toledo, Brazil
Researched lattice-based post-quantum cryptography, implemented the Goldreich–Goldwasser–Halevi (GGH) cryptosystem, and performed experimental analysis of computational properties.
Education
Formal degrees and specialized courses in computer science.
Here are some of the academic programs and certifications I have completed throughout my studies. This selection showcases key milestones in my education, covering both formal degrees and specialized courses in computer science.
-
2022–2027Federal University of Technology - ParanáBachelor's Degree in Computer Engineering
-
2020–2022State University of Western ParanáLanguage Teaching Program - English
-
2024Harvard UniversityCS50x: Introduction to Computer Science
-
2024Princeton UniversityAlgorithms, Part I & II
-
2024Linux FoundationIntroduction to Hyperledger Blockchain Technologies
-
2024Higher School of NetworksHyperledger Fabric
-
2024–2026Hackers do BemCybersecurity Course — Leveling
Cybersecurity Course — Basic Level
Cybersecurity Course — Fundamental Level
Cybersecurity Course — Red Team Specialization