Download Sixth International Conference on Formal Engineering Methods

Try Microsoft Edge, a fast and secure browser that's designed for Windows 10 Get started
Microsoft
Research

Store
o
o

Store home
Devices
 Microsoft Surface
 PCs & tablets
 Xbox
 Virtual reality
 Accessories
 Windows phone
o Software & Apps
 Office
 Windows
 Additional software
 Windows apps
 Windows phone apps
o Games & Entertainment
 PC games (disc)
 Windows digital games
 Windows phone games
 Movies & TV
 Music
o Deals
 Sale
 Microsoft Surface deals
 PC deals
 Xbox deals
 Graduation gift guide
o More
 Business
 Students & educators
 Developer
 Gift cards
Products
o Software & services
 Windows
 Office
 Free downloads & security
 Internet Explorer
 Microsoft Edge
 Skype








OneNote
OneDrive
Microsoft Health
MSN
Bing
Microsoft Groove
Microsoft Movies & TV
o Devices & Xbox
 All Microsoft devices
 Microsoft Surface
 All Windows PCs & tablets
 PC accessories
 Xbox & games
 Microsoft Lumia
 All Windows phones
 Microsoft HoloLens
o For business
 Cloud Platform
 Microsoft Azure
 Microsoft Dynamics 365
 Windows for business
 Office for business
 Skype for business
 Surface for business
 Enterprise solutions
 Small business solutions
 Find a solutions provider
 Volume licensing
o For developers & IT pros
 Develop Windows apps
 Microsoft Azure
 MSDN
 TechNet
 Visual Studio
o For students & educators
 Office for students
 OneNote in classroom
 Shop PCs & tablets perfect for students
 Microsoft in Education
Support
Search Microsoft Research

No results
Research Research Home
Research areas


















Algorithms
Artificial intelligence
Computer systems and networking
Computer vision
Data visualization, analytics, and platform
Ecology and environment
Economics
Graphics and multimedia
Hardware, devices, and quantum computing
Human-centered computing
Human language technologies
Mathematics
Medical, health, and genomics
Programming languages and software engineering
Search and information retrieval
Security, privacy, and cryptography
Social Sciences
Technology for emerging markets
Products & Downloads
Programs & Events


Academic Programs
Events & Conferences
PeopleCareers
About










About
Microsoft Research blog
Asia Lab
Cambridge Lab
India Lab
New England Lab
New York City Lab
Redmond Lab
Station Q
Applied Sciences Lab
A conversation with
AI pioneer Yoshua Bengio
Read his full Q&A
A cloud-based journey where
machines and biology intersect
Learn more about this research
Helping make learning code
accessible to all
Project Torino is helping visually impaired children learn to create code
Search our catalog of thousands of publications, videos, projects, downloads, and
more
Search our catalog
Search
Advances in Machine Learning and Artificial Intelligence
Substance, not hype, powers AI excitement at premier machine learning
conference
Computing is undergoing the most substantial transformation since the foundations of the field
were laid by Alan Turing some eight decades ago. Ahead of the 2016 Conference and Workshop
on Neural Information Processing Systems, Microsoft researcher Chris Bishop answers the
question: Is this excitement about AI just hype, or is there substance, too?
Making better use of the crowd with machine learning
Over the last decade, crowdsourcing has helped solve tasks that are notoriously difficult to crack
with computers alone. Jennifer Wortman Vaughan shares more about this relationship and how
it's advancing knowledge of machine learning.
Machine learning for the people - what does it mean for you?
AI Engage - humans and machines solving important problems for humanity
Want to Fuel the Future? Join us.
Join a first-rate researcher network at the forefront of creative solutions to critical technological
challenges. Working in research at Microsoft, you’ll have the opportunity, resources and
support to work on meaningful projects within and across disciplines.
Minecraft and AI: Enabling technology that can collaborate with humans
Learn more about Project Malmo, a platform that uses the world of Minecraft as a testing ground
for advanced artificial intelligence research and innovation.
Towards quantum computing
New to quantum? Here's a primer.
Quantum Computing 101: An introduction to the mind-bending world of quantum computing.
Station Q
Station Q represents Microsoft’s global effort to bring together the world’s
mathematicians, computer scientists, quantum physicists, and engineers to build a scalable, faulttolerant, universal quantum computer.
With quantum computing simulator, a sneak peak into the future of computing Microsoft Research blog
Quantum computing at Microsoft - meet the team
"Quantum computing could solve problems that would take today's computers
eons..." - read more about The Quest for a Quantum Future
Language-Integrated Quantum Operations: LIQUi|>
LIQUi|> is a software architecture and tool suite for quantum computing. It includes a
programming language, optimization and scheduling algorithms, and quantum simulators.
LIQUi|> can be used to translate a quantum algorithm written in the form of a high-level
program into the low-level machine instructions for a quantum device.
Using computing to fight cancer
How Microsoft computer scientists and researchers are working to “solve―
cancer
Jasmin Fisher doesn’t want to cure cancer. She wants to solve it - and she believes it’s
possible in her lifetime.
Video: Programming cells
If scientists can understand cancer and the immune systems as well as they understand how to
make Microsoft Word run on a PC, they might be able to equip the immune system to mount a
powerful response to cancer on its own.
Project Hanover: Parsing the world's genetic knowledge
Meet the researchers: Biological Computation Group
Blog: Molecular biology meets computer science tools in new system for CRISPR
A team of researchers has developed a new system that allows researchers to more quickly and
effectively use the powerful gene editing tool CRISPR.
Video: Using technology to personalize cancer treatment
Machine learning is helping doctors automatically sort fragmented patient information to find the
most relevant pieces of data to define the best treatment plan for their patients.
Lowering the barriers to artificial intelligence​
Unleash the Power of AI for Everyone
Today, we are changing how companies approach automatic translation by leveraging our
artificial intelligence expertise to enable anyone to quickly and easily customize translation
systems, even without large amounts of previously translated sentences.
Microsoft Researchers win ImageNet computer vision challenge
Featured Program: AI Engage
Browse the Artificial Intelligence and Machine Learning Research Area
Microsoft Bot Framework (preview)
Build and connect intelligent bots to interact with your users naturally wherever they are, from
text/sms to Skype, Slack, Office 365 mail and other popular services.
CNTK: Open source deep learning toolkit on GitHub
Microsoft is making the tools that its own researchers use to speed up advances in artificial
intelligence available to a broader group of developers by releasing its Computational Network
Toolkit on GitHub.
Scientists and engineers working together to help solve
global challenges
In the news
UW, Microsoft and Twist Bioscience double down on DNA data storage experiments
GeekWire, Apr. 17, 2017
Rambus Expands Cryogenic Memory Collaboration with Microsoft
Rambus, Apr. 17, 2017
Vote for Innovation of the Year: Groundbreaking tech for driverless cars, VR, data centers
and more
GeekWire, Apr. 14, 2017
Get involved
Academic and external collaboration
We collaborate with the world’s top researchers to develop technologies that help solve
global challenges. Â
Explore academic programs
Full-time jobs and internships
Work with world-renowned colleagues on meaningful research and product incubations in labs
around the world. Â
Explore more research careers
Award-winning researchers
Microsoft researchers have received a myriad of prestigious national and international honors,
including the ACM A.M. Turing Award, considered the highest distinction in computer science.
Meet our award-winning researchers >
See our full researcher index >
Follow Microsoft Research


Follow @MSFTResearch

Share this page


Tweet

Learn






Windows
Office
Skype
Outlook
OneDrive
MSN
Devices






Microsoft Surface
Xbox
PC and laptops
Microsoft Lumia
Microsoft Band
Microsoft HoloLens
Microsoft Store



View account
Order tracking
Sales & support
Downloads






Download Center
Windows downloads
Windows 10 apps
Office apps
Microsoft Lumia apps
Internet Explorer
Values






Diversity and inclusion
Accessibility
Microsoft in education
Microsoft philanthropies
Corporate social responsibility
Privacy at Microsoft
Company



Careers
About Microsoft
Company news









Investors
Research
Site map
Contact us
Privacy & cookies
Terms of use
Trademarks
About our ads
© Microsoft 2017
​