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
  9. Career Opportunities

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

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…

SNAP Sequence Aligner

Established: November 20, 2012

SNAP is a new sequence aligner that is 10-100x faster and simultaneously more accurate than existing tools like BWA, Bowtie2 and SOAP2. It runs on commodity x86 processors, and supports a rich error model that lets it cheaply match reads with more differences from the reference than other tools. SNAP was developed by a team from the UC Berkeley AMP Lab, Microsoft, and UCSF. Binaries are available here.

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 163 results inside videos

People

See all 30 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 4 results inside events

Charles River Lecture Series

Cambridge, MA | October 2018

Jointly organized by Harvard University, Massachusetts Institute of Technology, and Microsoft Research New England, the Charles River Lectures on Probability and Related Topics is a one-day event for the benefit of the greater Boston area mathematics community.

MSRNE 10th Anniversary Symposium

Cambridge, MA | October 2018

To mark the 10th anniversary of Microsoft Research New England, we are hosting a one-day symposium comprised of themed panels focused on mathematics and theory, economics, big data and machine learning, fairness, and social platforms. Join us in Cambridge as we welcome researchers, faculty, and students to discuss the future and advancing the state of the art.

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…

Career Opportunities

See all 1 results inside job opportunities

Principal Researcher

Type: Full-time researcher
Lab/Location: Microsoft Research Lab - Asia
Research Area: Multiple

As a principal researcher, you will define your own research agenda, driving forward an effective program of basic, fundamental, and applied research as well as advising others on the same. In addition to driving your own research agenda, we highly value collaboration and building new ideas with members of the group and others. You have the direct opportunity to realize your ideas in products and services used worldwide. Job number: 507603

Follow us:

Share this page: