I work in Programming Languages and Programming Environments. I'm one of the authors of DrScheme. I explore ways to make programming environments more reliable, more elegant, and more theoretically well-founded. My research includes the following:
I am a strong advocate of functional programming, functional languages, and the disciplined functional approach to teaching students how to write programs. My doctoral work has been with the PLT group of Matthias Felleisen.