Stream Processing

2022–2025

Developed and supported Meta's distributed stream processing engine in C++. Main projects include adding stream join capabilities, plugin system for extending platform, release system (Rust), observability.

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

Data Tools

2012–2021

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

• JavaScript
• Hack
• Data Visualization

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.

MSc Researcher

Jul 2009–Sep 2011

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

Research on Combinatorial Optimization

2007–2009

Advisor: Orlando Lee

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

• Combinatorial Optimization