Mathematics

Working on fundamental problems in mathematics and theoretical computer science, and interacting with the academic community and other researchers on challenging applied problems

What's on the page

  1. Microsoft Research Blog
  2. Projects
  3. Publications
  4. Products & Downloads
  5. Videos
  6. People
  7. Groups
  8. Events

Microsoft Research Blog

See the Microsoft Research blog

Learn Artificial Intelligence Skills via Residency at Microsoft

Harness Machine Learning to Improve People’s Lives At Microsoft, we are committed to leveraging the power of Artificial Intelligence (AI) to benefit people and greater society. Advances in AI can be applied to address some of the world’s biggest challenges, and so we are keen to nurture the next generation of talent, so they are better prepared to innovate and contribute to multiple areas of AI, including machine learning, planning, and decision making. Microsoft is…

January 2018

Microsoft Research Blog

Microsoft Research Dissertation Grant Program

New Microsoft Research Dissertation Grant provides support to under-represented groups in computing

By Dr. Meredith Ringel Morris, Principal Researcher, Microsoft Research I am pleased to announce that Microsoft Research is funding a new academic program, the Microsoft Research Dissertation Grant. This grant program offers selected doctoral students doing computing research at U.S. and Canadian universities up to US $20,000 to fund their dissertation work. This program is open to students currently under-represented in the technology sector, including women, people with disabilities, and people who are African-American/Black, Hispanic/Latino,…

March 2017

Microsoft Research Blog

Researchers Cherish University Roles

By Janie Chang, Writer, Microsoft Research For the past 11 years, the Microsoft Research Faculty Summit has brought academic and government research professionals together to share perspectives on new research, the challenges facing the research community, and ways to break new ground. The 12th version of this popular annual event, to be held July 18 through 20 in Redmond, Washington, provides an opportunity for collaboration across the full range of computing disciplines, one of many…

July 2011

Microsoft Research Blog

Projects

See all 16 results inside projects

Foundations of Optimization

Optimization methods are the engine of machine learning algorithms. Examples abound, such as training neural networks with stochastic gradient descent, segmenting images with submodular optimization, or efficiently searching a game tree with bandit algorithms. We aim to advance the mathematical foundations of both discrete and continuous optimization and to leverage these advances to develop new algorithms with a broad set of AI applications. Some of the current directions pursued by our members include convex optimization,…

Conservation Mapping

Established: July 9, 2014

Microsoft research developed a tool in collaboration with IUCN, SSC and UAL, to allow the rapid mapping and assessment of species, threats to species and conservation interventions. it is hoped that this tool will improve bottom up conservation monitoring. RedList assessments and bottom-up conservation mapping   The Conservation Mapping Tool allows web based, collaborative, mapping and assessment of species, threats to species and conservation interventions.   It is hoped that the tool will  transform the…

zootracer

Established: February 12, 2014

Use consumer video equipment to trace animal movement. Zootracer is software developed at Microsoft Research, capable of accurately tracking multiple, unmarked, interacting individuals in arbitrary video footage. As the software is independent of recording devices, the user may provide recordings from any habitat type. With its intended ability to robustly cope with variations in lighting, camera movement and changes in object appearance, Zootracer represents a step forward in facilitating the collection and analysis of behaviour…

Products & Downloads

See all 7 results inside products & downloads

Synthesizing Biological Theories

May 2010

This tool enables biologists and modelers to construct high-level theories and models of biological systems, capturing biological hypotheses, inferred mechanisms, and experimental results within the same framework. The main components of the tool are a visual editor for constructing the model and to visualize the dynamic behavior, and an execution and analysis engine that can…

Size: 998 KB

    Click the icon to access this download

  • Website

NCBI BLAST on Windows Azure

July 2011

A parallel BLAST engine that runs on the Windows Azure cloud fabric, NCBI BLAST on Windows Azure can scale up to hundreds of compute nodes. This cloud-based implementation of the National Center for Biotechnology Information (NCBI) Basic Local Alignment Search Tool (BLAST) searches all available sequence databases for similarities between a protein or DNA query…

Size: 62 MB

    Click the icon to access this download

  • Website

Learning from Explicit and Implicit Supervision Jointly For Algebra Word Problems

September 2016

This is a public release of the dataset corresponding the paper “Learning from Explicit and Implicit Supervision Jointly For Algebra Word Problems” that will appear in EMNLP 2016.

    Click the icon to access this download

  • Website

Videos

See all 156 results inside videos

People

See all 28 results inside people
Portrait of Jennifer Chayes

Jennifer Chayes

Technical Fellow / Managing Director, Microsoft Research New England & New York City; and Microsoft Research Montreal

Groups

See all 9 results inside groups

Computational Social Science

With an increasing amount of data on every aspect of our daily activities – from what we buy, to where we travel, to who we know, and beyond – we are able to measure human behavior with precision largely thought impossible just a decade ago, creating an unprecedented opportunity to address longstanding questions in the social sciences. Leveraging this sea of information requires both scalable computational tools, and understanding how the substantive scientific questions should…

Theory Group

We work on fundamental problems in mathematics and theoretical computer science, interact extensively with the academic community and collaborate with other researchers at MSR on challenging applied problems. Among our areas of expertise are probability, algorithms, statistical learning, optimization, algorithmic game theory, error-correcting codes, combinatorics, statistical physics, and fractals. We host an amazing array of researchers in these areas, see below for a list of recent and upcoming visitors. See the Theory Seminar for a list of…

Cryptography Research

Cryptography is the ancient science of encoding messages so that only the sender and receiver can understand them. Cryptography is now available to everyone thanks to the development of modern computers, which can perform more mathematical operations in a second than a human being could do in a lifetime. An ordinary PC can produce codes of such complexity that the most powerful supercomputer using the best available attack algorithms would not break them in a…

Events

See all 1 results inside events

Microsoft PhD Summit

Redmond, Washington, USA | October 2018

Distinguished PhD students, including FLIP Fellows, current Microsoft Research PhD Fellows, AI Summer School Winners, and Microsoft Research Dissertation Grant recipients are invited to attend a two-day workshop at Microsoft Research Redmond. This is an opportunity for top PhD students to enhance skills, build a network, and discuss research within a community of peers and notable Microsoft researchers. Specifically, they will: • Hear from researchers in academia and industry • Learn about building their brand…

Follow us:

Share this page: