Programming languages and software engineering
Microsoft Research Blog
Top students contemplate the shape of the AI future at PhD Summer School
Beautiful summer weather, ice cold Pimm’s and the idyllic scenery along the River Cam greeted over 100 PhD students from across the EMEA (Europe, Middle East and Africa) region who had traveled to Cambridge, England,…
Microsoft Research Blog
Summer of MakeCode for kids
Microsoft MakeCode is a web-based learning environment for kids and teens to create with technology. MakeCode takes a unique approach to computing education by combining the magic of making with the power of code as…
Publication
Rule-based Design of Computational DNA Devices
Microsoft Research Blog
ACM announces creation of Chuck Thacker Breakthrough in Computing Award
ACM – the Association for Computing Machinery – has created a new major award to honor 2009 A.M. Turing Laureate Charles P. “Chuck” Thacker. The award honors Thacker’s pioneering contributions to computing, considered by the…
Microsoft Research Blog
Building a global AI supercomputer – The 2018 Microsoft Research Faculty Summit
We live in the age of the intelligent edge and intelligent cloud. Data is collected at the edge using billions of small devices. The data is pre-processed at the edge and shipped in a filtered…
Publication
Execution-Guided Neural Program Decoding
Publication
Guarded impredicative polymorphism
Microsoft Research Blog
Microsoft Research Dissertation Grants: Broadening the PhD pipeline to increase innovation
Research shows that diverse teams are more productive teams. Diversity, particularly in the area of computing research, means including unique perspectives that otherwise might not have a voice, fueling innovation. These are some of the…
