Microsoft Research’s cover photo
Microsoft Research

Microsoft Research

Think Tanks

Redmond, Washington 420,572 followers

We advance science and technology to benefit humanity.

About us

At Microsoft Research, we accelerate scientific discovery and technology innovation to empower every person and organization on the planet to achieve more. We do this by bringing together the best minds across diverse disciplines and backgrounds to take on the most pressing research challenges for Microsoft and for society. Our Research Lens We consider research directions through the lens of the positive impact we aspire to create with and for customers, communities, and all of society.

Website
http://www.microsoft.com/research
Industry
Think Tanks
Company size
1,001-5,000 employees
Headquarters
Redmond, Washington
Founded
1991

Updates

  • Research Focus is expanding beyond the newsletter! Introducing #MicrosoftResearchFocus, a new way to catch up on research news from across Microsoft. In this edition, host Sowbhagya Suresh highlights foundational research driving new insights and advances across AI, science, and beyond, including: • What everyday AI use reveals about how people work • A framework that helps AI agents tackle complex tasks while significantly reducing processing demands • A new foundation model for biomolecular structure, dynamics, and function, now available in public preview • A machine-learning approach to improving weather forecasts weeks in advance Plus, more advances in coding agents, computer-use agents, and AI-assisted teaching. Watch this edition right here or listen on your preferred podcast platform.

  • Early in her computer science journey, Microsoft Partner Research Manager Jennifer Neville worried that everyone else knew what was going on … and she didn’t. Then, someone gave her advice she carried throughout her career: ask the question anyway. Chances are, someone else is wondering the same thing. Neville joins host Principal Applied Scientist Chad Atalla to reflect on curiosity, courage, and a lesson that helped shape her career in research. https://msft.it/6042a0ZyE

  • Why would someone return to difficult research questions again and again? For Microsoft Research Catalyst lab director Chris White, research isn’t simply the work he does. It’s part of what sustains him. On this episode of the Microsoft Research Podcast, White reflects on the curiosity and sense of purpose that have shaped his career—and the kinds of problems that continue to pull him toward research. https://msft.it/6044aLS6A

  • In this issue: Can AI agents solve complex problems more reliably and efficiently?; addressing a bottleneck for coding agents; evolving agent skills from offline telemetry; a look at how AI needs vary across industries; new data shows an AI tool is saving time for busy teachers; a breakthrough in extended-range weather forecasting; and a public preview for BioEmu2, a deep learning model helping scientists understand how proteins work.

  • AI researcher Jennifer Neville has made it her job to ask questions and seek answers that contribute to AI’s progress. It started when she was a young intern thinking about how AI might master the strategy game 𝘨𝘰, and continues in her current role making the tech more effective for users. For the Microsoft research manager, one of the biggest open questions now surrounds the transformer architecture driving today’s fast-paced advances and how the research community will respond to its known limitations. Join host Principal Applied Scientist Chad Atalla for the full conversation on the Microsoft Research Podcast: https://msft.it/6046aa7Yr

    • What AI gets wrong and what failure teaches us
    • No alternative text description for this image
    • No alternative text description for this image
  • View organization page for Microsoft Research

    420,572 followers

    AI agents are writing more code. How can developers help ensure that code is correct? Microsoft Research’s Proof-Driven Development (PDD) Kit explores a more rigorous approach: it translates a developer’s intent into a formal specification, then uses formal verification to prove that generated code meets it. PDD Kit works with Verus for Rust and is integrated with GitHub Next’s Chopin, bringing formal methods into an AI-assisted development workflow for teams. See the work in action at #GitHubUniverse, Oct. 28–29: https://msft.it/6042aae1M

  • What keeps someone hopeful when the problems they’re working to solve feel overwhelming? https://msft.it/6043avFNx For Chris White, who leads Catalyst Lab at Microsoft Research, it’s knowing that research and technology can make a difference. Throughout his career, that belief has motivated him to take on difficult, consequential problems while staying focused on what technology can enable for people. On the Microsoft Research Podcast, Chris joins host Principal Technical Program Manager Weishung L. and reflects on hope, service, and what keeps him committed to making a positive difference.

Affiliated pages

Similar pages