Work Experience

Open AI

Sep 2026–present

Systems Performance

Sep 2026–present
  • Python
  • Rust
  • Operating Systems

Facebook / Meta

2012–present

Stream Processing

Apr 2022–Sep 2026

Developed and supported Meta's distributed stream processing engine in C++. Main projects included: implementing stream joins, plugin system to run user code, release system (CI/CD) and observability tools.

  • C++
  • Python
  • Rust
  • Stream Processing
  • Distributed Systems

Data Tools

Oct 2012– Apr 2022

Developed internal tools for data analyics and observability. One of the creators of the company's dashboard platform; created SQL notebooks, both used widely at Meta as of 2026.

  • JavaScript
  • Hack
  • Data Visualization

CFlex

Aug 2011–Sep 2012

Researcher

Research and development in railway operations research. Developed algorithms for train scheduling and explored scheduling of railroad crew.

  • Java
  • Operations Research

Google Summer of Code

2011

Intern

I was selected by the BRL-CAD organization to improve their shading system to include support to the Open Shading Language, OSL.

  • C++
  • Computer Graphics

Education

Self-Education

2009–present

Blog -- NP-Incompleteness

2009–present

I have been studying and writing about computer science and math since 2009. I wrote around 300 posts, posting pretty much every month.

Universidade Estadual de Campinas

2009–2011

MSc Computer Science

MSc Researcher

Jul 2009–Sep 2011

Advisors: Pedro J. Rezende and Cid C. de Souza

Developed integer linear programming models for a combinatorial optimization problem with applications in cartography. I also developed a UI using Google Maps API to create/visualize some of the real-world instances.

Five publications resulted from this project. Best dissertation award in the Computer Science department of that year.

  • C++
  • CGAL
  • XPRESS
  • CMake
  • Subversion
  • JavaScript
  • PHP

Teacher Assistant

Mar 2010–Jul 2010

Data Structures teacher assistant: responsible for practical classes, including helping students, creation of exercises statements, elaboration of test cases, implementation of the correction program and grading.

  • Data Structures

Universidade Estadual de Campinas

2005–2009

BSc Computer Engineering

Research on Combinatorial Optimization

2007–2009

Advisor: Orlando Lee

This work was supported by a two-year grant from FAPESP.

  • Combinatorial Optimization

Programming Contests

ICPC World Finals

2010

I was part of the team representing Unicamp (with Davi Costa and Marcelo Póvoa) in the ICPC World Finals 2010 in Harbin, China. We solved 4/11 problems and finished in 53th place.

Google Code Jam – Latin America

2009

I qualified for the Google Code Jam Latin America stage.

ICPC World Finals

2008

I was part of the team representing Unicamp (with André Linhares and Paulo Costa) in the ICPC World Finals 2010 in Banff, Canada. We solved solved 2/11 problems and finished in 68th place.