Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
End for Internship talks given by: Perry Wang Title: “Low* and subset of F* that will compile down to C” Time : 10-10:45 Laure Thompson Title: “Spartan and proving implementations of cryptographic algorithms correct” Time…
Bill Gates, Jeannette Wing and Peter Lee discuss what the next 25 years of computer science research could bring at the Microsoft Research Faculty Summit 2016.
