“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 of computer science. Program proving, model checking, theorem solving –…
This year I will be attending the Grace Hopper Celebration of Women in Computing (GHC), where I will be part of a panel discussion on the topic, “Will Artificial Intelligence Eliminate Accessibility Barriers?” (at noon on Wednesday, Sept. 26th). I’ve attended GHC three times in…
At the 30th conference on Neural Information Processing in 2016, one of the world’s foremost gatherings on machine learning, there was not a single accepted paper from a researcher at an African institution. In fact, for the last decade, the entire African continent has been…
Microsoft is very proud to be a diamond sponsor of ECCV 2018 and we’re in Munich, Germany from September 8-14 with the global computer vision community to share our research and to learn from our fellow contributors. At Microsoft, in parallel with fundamental research, we…
KDD 2018, the 24th ACM Conference on Knowledge Discovery and Data Mining took place in London, United Kingdom on August 19-23 in the heart of London’s historic Royal Docks. KDD is one of the top conferences in the machine learning and data mining domain, bringing…
Speech recognition is something we humans do remarkably well, which includes our ability to understand speech even in noisy multi-talker environments. While our natural sophistication at this is something we take for granted, speech recognition researchers continue to pursue refinements and improvements on the frontiers…
For decades, databases have supported declarative SQL as well as imperative functions and procedures as ways for users to express data processing tasks. While the evaluation of declarative SQL has received a lot of attention resulting in highly sophisticated techniques, improvements in the efficient evaluation…
For decades, causal inference methods have found wide applicability in the social and biomedical sciences. As computing systems start intervening in our work and daily lives, questions of cause-and-effect are gaining importance in computer science as well. To enable widespread use of causal inference, we…
Microsoft Research is actively developing technologies as we continually strive to make our network and online services the most performant and efficient on the planet and this includes openly sharing our progress in advancing the state of the art with the research community. At the…
The 19th Microsoft Research Faculty Summit yet again demonstrated its unique place in the world of computer science in gathering thought leaders, state-of-the-art ideas, new products and a sense of the possible under one roof as industry and leading academic researchers came together to share…
The Microsoft Research PhD Scholarship Program in EMEA (Europe, Middle East, Africa) was launched in 2004 by Microsoft Research Cambridge, United Kingdom and has so far supported more than 200 PhD students from more than 18 countries and 51 institutions. The online submission tool for…
To help academics advance their research, Microsoft has supported hundreds of fellows through the Microsoft Research PhD Fellowship. This year we are expanding our funding support by creating two new fellowships: one designed to support diverse talent earning advanced degrees in computing-related fields, and one…
Meet our community of researchers, learn about exciting research topics, and grow your network
Ongoing conversations at the cutting edge of research
Join us for a continuous exchange of ideas about research in the era of general AI
