About me

I enjoy making music, hacking, ping-pong, Portuguese, and spontaneous adventures.
I'm a first-year Ph.D student at Ph.D. at Penn, advised by Steve Zdancewic.

Some projects I've worked on recently

The Cookware: An electronic instrument built and designed for Paul Lehrman's EMID course.
The Cookware.
Compost: A language with an affine type system and compiler-time garbage collection. Submitted for Richard Townsend's Compilers course.

An Alternative to Pattern Matching, Inspired by Verse (Senior Honor's Thesis):
A study of how equations within the Verse Calculus subsume pattern matching in traditional functional languages.
My advisors were Norman Ramsey and Milod Kazerounian.
The work received Highest Thesis Honors.
The source code can be found here.

Research Interests

I'm interested in language implementation, compiler writing, formal verification, and novel methods of data representation.

I've written five languages, including three translators, a virtual machine, and a number of other projects in functional and low-level languages.

Non-programming languages

I speak Portuguese, French, and English, and passable Mongolian.
Fun fact: the gender of a Mongolian word is determined by its vowels. There are masculine and feminine vowels,
and a word can only contain those belonging to one set or the other (plus a neutral vowel И).
The set determines the word's gender!

Personal Scoop

I'm currently living in Paris, where I'm working at Inria with Yannick Zakowski on new methods for mechanizing coinductive proofs.
I'm enjoying slowly reading Moby Dick, buying cheap, fresh produce at the markets at Place d'ITalie, and running it back on gnx. I'll be in Boston in August, and will return to Philadelphia for Penn's fall semester.

Home