Karl looks like this

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.

Contact

Office Hours

I am not holding office hours this quarter.