A senior software engineer who thrives at the boundary between research and industry. Passionate about making, sharing and using safe and expressive programming tools. In-depth experience with functional programming, hardware design and financial modeling.