I am a Ph.D. candidate in the computer science department at
Oregon State University, specifically in the programming languages
research group. My research interests include functional
programming, language design, domain-specific languages, type
systems, and verified programming, but I also have some experience
with information visualization and computer graphics.

I currently work as a graduate research assistant for my
advisor Prof. Martin Erwig.
More information about specific projects is available on
my projects page.