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 just moved to Philadelphia after a year of living in the somewhat different climate of Mongolia.
In this transition period I've been enjoying Sarah Ruden's translation of The Oresteia, the new Clipse album Let God Sort Em Out,
Spiral Circus' Silt, and a bunch of research papers.
I'm currently playing alternative music with friends in Philly and am always down to jam if you're in the area.

Home