He is passionate about functional programming and has applied it to real-world engineering projects at Microsoft. Prior to joining the research division of Microsoft, he worked on Windows where he used F# in various projects including a large-scale static code analyzer, a root-cause analyzer for software regressions, and data analysis tools for software compatibility. Before joining Microsoft, he studied a D.Phil. on the Lambda Calculus and Game Semantics.