Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
By Rob Knies, Managing Editor, Microsoft Research Luca Cardelli, a principal researcher at Microsoft Research Cambridge, has been named winner of the 2007 Senior Dahl-Nygaard Prize, presented annually to a senior researcher with outstanding career…
Yogi is a research project within the Rigorous Software Engineering group at Microsoft Research India on software property checking. Our goal is to build a scalable software property checker by systematically combining static analysis with…
I was lucky enough to be able to give a three-hour tutorial on Haskell at the O’Reilly Open Source Convention 2007, in Portland. A huge thank-you to Galois Inc, for making the video happen. View Part…
I was lucky enough to be able to give a three-hour tutorial on Haskell at the O’Reilly Open Source Convention 2007, in Portland. A huge thank-you to Galois Inc, for making the video happen. View Part 1…
