Event
Microsoft @ FOCS 2018
Microsoft is proud to be a sponsor of the IEEE Symposium on Foundations of Computer Science (FOCS) in Paris October 7-9, 2018.
Mathematics
Microsoft Research Blog
SPACER and Z3: Accessible, reliable model checking as theorem proving
“How can one check a routine in the sense of making sure that it is right?” asked Alan Turing in 1949, foreshadowing the science of program proving decades before it became a formally accepted field…
Video
Anthropomorphising AI Is an Impediment to a Stable Society
Computation, unlike mathematics, is a physical process that takes time, energy, and space. Humans have dominated this planet’s ecosystem by learning to share and consolidate the outcome of their computation in an unprecedented way. Now…
