I am a PhD student at the University of Utah where I started in August 2022. My advisor is Ben Greenman. My current work focuses on macro and type systems: how can we extend languages with macros, and how can we get better guarantees about the behavior of our programs with types? See my home page for more.