About
A short declaration about who I am and what I do.
I've been coding since I was 14, starting with Minecraft mods in Java, which eventually led me down the rabbit hole of low-level programming with C and tinkering with simple NCurses apps.
Studying computer engineering at UTFPR deepened my love for programming, and now I'm comfortable with C, C++, Python, Go, Rust, Java, and JavaScript, along with tools like LaTeX, PostgreSQL, Redis, OpenCV, NumPy, and Docker.
«Pray as though everything depended on God.
Work as though everything depended on you.»— Saint Ignatius of Loyola
I enjoy the discipline of low-level programming and cryptography, where careful reasoning, attention to detail, and a deep understanding of the underlying systems matter. I see good work as a form of stewardship: a responsibility to use the abilities I have been given with care, humility, and purpose.
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
Automates LaTeX references in HTML
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