I'm an aspiring computer scientist, capoeirista, judoka, and urbanist living in Washington DC.
My main interests within the fields of computer science and software engineering include: programming language design and implementation, automated reasoning, and testing. I've done a bit of front- and back-end web development work in the past.
This site is meant to be a personal portfolio and blog.
The content and layout is a work-in-progress while I figure out what I want the site to look like.