I am a Senior Researcher at Microsoft Research working on the Calc Intelligence project. My research is currently aimed at spreadsheet programming with a focus on safety, extensibility, and ...