This picture includes most of my favorite things.
I'm currently working with William J. Bowman on type preserving compilation of dependent types. Since I've just started, check back in a few months for potentially exciting new developments :^). I earned my bachelor's degree in computer science from Indiana University.
Also, Racket is my favorite programming language.
I'm particularly interested in compilers, language design, type systems, and of course, functional programming.
Previously, I worked with Sam Tobin-Hochstadt, creating a partial evaluator for Racket's linklets.
I also participated in the Software Engineering REU program at Carnegie Mellon University in the summer of 2018. I worked on Obsidian, a domain-specific language for blockchain programs, which is designed in a user-centered way and incorporates typestate and linear types to catch certain common errors at compile time. I worked on a case study evaluation, and submitted a two-page abstract which received second place at the 2018 SPLASH Student Research Competition. One thing to note is that my work resulted in adding assets to the state level, which couldn't be included in this submission, but is included on the poster.
Additionally, I worked with Ryan Newton on adding higher order functions and polymorphism to Gibbon, a highly-optimized compiler that generates code which operates directly on serialized data.
While at Indiana University, I had the privilege of working as a teaching assistant for many courses.
Here is some additional stuff I did while at Indiana University.