About

Hello! I am a graduate student at Indiana University Bloomington, advised by Amr Sabry. I study higher type theory and logic. I also work on some Haskell projects with Ryan Newton.

Sometimes I also put on a gentoo developer hat.

Contact

I can be reached via email (alternative), or irc ([email protected]freenode), or smail at the following address:

Lindley Hall, 315
150 S Woodlawn Ave
Bloomington, IN 47405
USA