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.
- Email: email@example.com
- Mailbox: 1148 Kelley Engineering Center
- CS 381 · Wednesdays, 13:00–14:00 · KEC Atrium