Software Engineer & Computer Scientist
I have spent most of my career in distributed systems and cloud infrastructure, but now I mostly work in the devtools space trying to bridge theory and practice, and building better tools and abstractions that can be shared across languages.
Major interests revolve around programming languages, especially parsers and symbolic computation, but they extend to lots of other things, including compilers, build systems, distributed systems, databases, security, and human-computer interaction.
Currently
GrammarStudio
As part of my work in libsource, there is a looming need to implement parsers for multiple different languages into the unified parsing engine. To that end, I have been building GrammarStudio as part of a series of experiments with sketch-based synthesis of grammars.
It facilitates porting grammars from existing parsers to other target languages by taking a corpus parsed by an existing parser as input, and inducing an abstract parser based on a common grammar IR which can be lowered into other languages. Authoring grammars from scratch is also made easier by allowing you to spell out annotated examples. In the future, I hope to also add a graphical interface for users to interactively assist with the synthesis process with live feedback.
It is currently in a broken state because it's doing synthesis in a way that is too stupid to be fast enough, and I am currently experimenting with alternative strategies for the core synthesis engine.
Open Source Ongoing GitHub →libsource
libsource is a continuation of the work I was doing in my (now defunct) company Deviant. It is a portable editor engine as a library, containing an immutable and cache-aligned B-Tree backed Rope with a transactional editing API and collaborative editing support, a specialized B-Tree for storing syntax trees, diagnostics and error reporting structures, and a unified parsing core that handles context-sensitive grammars without escape hatches.
It is meant to be a common abstraction layer of high quality primitives, out of which multiple kinds of specialized devtools could be built on top, such as codebase browsers, static analyzers, formatters, syntax transformation pipelines, editors, coding agent harnesses, and so on.
It is still mostly incomplete, as I've restarted it from scratch in October 2025, and the project has yielded several spinoff projects.
Closed Source OngoingPreviously
| Period | Role | Company | Location |
|---|---|---|---|
| 2022–2024 | Founder / Lead Engineer | Deviant | Remote |
| 2022 | Head of Reliability Engineering | TigerData (Timescale) | Remote |
| 2021 | Independent Researcher | Sabbatical | Home |
| 2020–2021 | Lead Site Reliability Engineer | Caper (Instacart) | Remote |
| 2019–2020 | Lead Platform Engineer | 3778 Healthcare | Brazil |
| 2018–2019 | Senior Data Infrastructure Engineer | Wildlife Studios | Brazil |
| 2017–2018 | Machine Learning Engineer | Linx | Brazil |