◈ PERSONAL DASHBOARD
const role = "Backend Developer";
Backend developer based in Curitiba, Brazil. I work with Python, TypeScript and AWS to make production systems faster, more reliable and easier to operate.
I’m a Computer Science student at PUCPR and a backend developer at SmartLy. My work spans production APIs, cloud infrastructure, IoT platforms and event-driven systems. Outside work, I build projects that take me closer to the fundamentals: programming languages, distributed systems and the craft of software engineering.
SmartLy · Curitiba, Brazil
SmartLy · Curitiba, Brazil
// AI AGENT SECURITY
An open-source CLI that enforces capability-based policies for AI coding agents. Intercepts Git, GitHub CLI and AWS actions, evaluates them against policy, and records an audit trail.
// EDUCATIONAL SIMULATION
A browser-based incident simulator where players investigate ambiguous production symptoms, test hypotheses and learn system design through consequences and postmortems.
// COMPILER & LANGUAGE DESIGN
A programming language and compiler in C, with a staged pipeline from lexical analysis and parsing through semantic checks and LLVM IR to native executables.
// FULL-STACK PLATFORM
A platform for developers to publish project devlogs and share technical decisions. Includes a REST API, asynchronous processing, 100+ automated tests and AWS deployment with observability.
No projects found.
I’m always happy to talk about backend engineering, cloud systems or a good technical challenge.