Campinas, Brazil · available for selected work
Ten years of production engineering, two research programmes at Unicamp, and a standing interest in the problems that sit between software and mathematics: routing, scheduling, search, and the machinery of decision-making.
Current focus
updated July 2026
Second master’s at IMECC (Unicamp), with research on an integrated production-routing problem: radiopharmaceutical scheduling under radioactive decay and appointment time windows. The interesting part is that no published work applies an exact method to it.
Zenus OS (an operating environment designed around intent rather than applications), plus Energeia, an architecture experiment grounded in vector-symbolic algebra and Aristotelian act/potency structure.
Holographic Route Actualization, a metaheuristic for CVRP and TSP built on top of a production Java optimizer, currently in benchmarking against the standard instance libraries.
Selected work
An AI-first operating environment: an intent execution engine that turns natural-language goals into verified actions across local tools. Architecture, runtime and tooling.
A cognitive architecture built on vector-symbolic algebra, using Aristotle’s act/potency distinction as the organising principle for state transition rather than as decoration.
A metaheuristic for capacitated vehicle routing and TSP, implemented inside the PostVRP optimizer codebase and benchmarked against standard instance libraries.
A benchmark generator for rich vehicle routing problems derived from real postal deliveries, and the multi-objective optimizer built around it. Published as a chapter in Smart Delivery Systems (Elsevier, 2019).
A model of political ideology across multiple independent axes rather than a single left-right line, with an interactive instrument for exploring the resulting space.
Vehicle routing extended to orbital mechanics, where the cost between two nodes changes with time because the nodes are moving. Interactive simulation of the resulting problem.
A visual workspace for writers: characters, relationships, timeline and scenes on a single canvas, built because every existing tool splits them across separate views.
Also shipped
Browser extension
Select an equation on any page or text PDF and get it explained in place, at a chosen depth, with LaTeX rendering and follow-up questions. Screenshot mode handles maths that is baked into an image.
Game · Android and web
A 2048 variant in which two tiles merge only when their sum is prime. The rule change is small and the strategy that follows from it is not, since the reachable values stop being powers of two.
Game · Educational
Arithmetic carried out in the number systems of five ancient civilisations, Roman through Babylonian, so that the difficulty of a calculation becomes a property of the notation rather than of the numbers.
Sandboxes
Two hubs of self-contained experiments with no framework, no build step and no dependencies: motion and shape in CSS alone, and small interaction patterns in plain HTML, CSS and JavaScript. More of the same on CodePen.
Experience
Since 2025
IMECC · Unicamp
Professional master’s programme. Research in operations research, on integrated production-routing under time windows and product decay.
Since 2015
Multinational technology company · Campinas
Production systems across backend, web and platform work, in distributed teams spanning the Americas and Eastern Europe. Increasing responsibility for architecture, review and technical direction.
2020
FT · Unicamp
Dissertation: “Modeling a benchmark for the vehicle routing problem based on real post office deliveries in Artur Nogueira.” Advisor: Prof. Dr. Luis Augusto Angelotti Meira.
2019
Elsevier
Chapter 8: “How to assess your Smart Delivery System? Benchmarks for rich vehicle routing problems.”
2015–2020
Concrete Mathematics Research Group · Unicamp
Scientific initiation through master’s. Honourable mention at the XXIII Unicamp Scientific Initiation Congress for work on the travelling salesman problem applied to postal routing.
2013–2016
Unicamp
Final project: “Vehicle routing problem benchmark based on a real post office case.” Admitted through the Comvest entrance exam.
2010–2012
ETEC Bento Quirino · Campinas
Evening programme, concluded with a final project. Where the programming started: C on microcontrollers and ladder logic on PLCs, alongside analogue and digital electronics.
Toolkit
Contact
Consulting, research collaboration, or a conversation about a problem you are stuck on. Portuguese or English.