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

Microsoft Research Blog

See the Microsoft Research blog
Homomorphic encryption team

Microsoft SEAL open source homomorphic encryption library gets even better for .NET developers!

Since its open-source release on December 3rd 2018, Microsoft SEAL has become one of the world’s most popular homomorphic encryption libraries and has been adopted by security and privacy professionals world-wide in both academia and industry. Thanks to the fact that it is written in standard C++ with no external dependencies, Microsoft SEAL empowers a broad spectrum of users and use-cases to protect private data in storage and computation scenarios. Today, we are announcing the…

February 2019

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

Projects

See all 17 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 8 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

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

Videos

See all 174 results inside videos

People

See all 35 results inside people
Portrait of Jennifer Chayes

Jennifer Chayes

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

Groups

See all 8 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.

Cryptography and Privacy 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…

Career Opportunities

See all 4 results inside job opportunities

Research Intern – Computational Social Science at Microsoft Research NYC

Type: Internship
Research Area: Multiple

The Computational Social Science group at Microsoft Research NYC is actively seeking summer interns to join us in advancing the state-of-the-art in computational social science and online experimentation. The ideal applicant will possess awareness of the theoretical and experimental social science literature, experience with experimental design, as well as significant computer programming expertise. Microsoft Research offers an exhilarating and supportive environment for cutting-edge, multidisciplinary research with access to an extraordinary diversity of big and small…

Post Doc Researcher – Machine Learning and Optimization

Type: Post-doc researcher
Lab/Location: Microsoft Research AI - Redmond
Research Area: Artificial intelligence, Mathematics

The Machine Learning and Optimization Group in Microsoft Research AI (MSR AI) seeks exceptional postdocs who are passionate about developing the next generation of principled machine learning and optimization algorithms. Applicants must have a demonstrated ability for independent research and a strong academic publication record in machine learning algorithms or optimization algorithms. Job number: 551896

Research Intern – Machine Learning and Optimization

Type: Internship
Lab/Location: Microsoft Research AI - Redmond
Research Area: Artificial intelligence, Mathematics

Microsoft Research AI provides a dynamic environment for research careers with a network of world-class research labs led by globally-recognized scientists and engineers. Our researchers and engineers pursue innovation in a range of scientific and technical disciplines to help solve complex challenges in diverse fields, including computing, healthcare, economics, and the environment. The Machine Learning and Optimization group at Microsoft Research AI focuses on designing new algorithms to enable the next generation of AI systems…

Follow us:

Share this page: