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

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

Maximum Overhang, Optimum Reward

By Janie Chang, Writer, Microsoft Research Yuval Peres, principal researcher at Microsoft Research Redmond and manager of the Theory Group, always advocates both healthy skepticism and an open mind when it comes to problem solving. Even so, Peres was pleasantly surprised when a paper he co-authored won the prestigious David P. Robbins Prize from the Mathematical Association of America (MAA) for taking a completely new approach to a problem mathematicians had considered solved for decades.…

March 2011

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

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

People

See all 34 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

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.

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…

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 2 results inside job opportunities

Post Doc Researcher – Machine Learning and Optimization

Type: Post-doc researcher
Lab/Location: Microsoft Research Lab - AI
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

Researcher – Machine Learning and Optimization

Type: Full-time researcher
Lab/Location: Microsoft Research Lab - AI
Research Area: Artificial intelligence, Mathematics

The Machine Learning and Optimization Group in Microsoft Research AI (MSR AI) seeks exceptional researchers 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: 551892

Follow us:

Share this page: