Microsoft Research Lab – Redmond
News & features
In the news | Association for Computing Machinery
Madanlal Musuvathi named ACM Fellow
Madanlal was selected by his peers for the development of methods in concurrency verification and testing, and machine learning systems design.
Argos: Multimodal reinforcement learning with agentic verifier for AI agents
| Reuben Tan, Baolin Peng, Zhengyuan Yang, Oier Mees, and Jianfeng Gao
Argos improves multimodal RL by evaluating whether an agent’s reasoning aligns with what it observes over time. The approach reduces visual hallucinations and produces more reliable, data-efficient agents for real-world applications.
OptiMind: A small language model with optimization expertise
| Xinzhi Zhang, Zeyi Chen, Humishka Hope, Hugo Barbalho, Konstantina Mellou, Marco Molinaro, Janardhan (Jana) Kulkarni, Ishai Menache, and Sirui Li
OptiMind is a small language model that converts business operation challenges, described naturally, into mathematical formulations that optimization software can solve. It reduces formulation time & errors & enables fast, privacy-preserving local use.
In the news | Microsoft Research Blog
3D Telecommunications Goes Open Source
Microsoft Research is open-sourcing its cutting‑edge 3D Holoportation technology that was used to transform healthcare by bringing doctors and patients together across vast distances. The work highlights real‑time, life‑size 3D telepresence that allows clinicians to meet, consult, and plan care…
BlueCodeAgent: A blue teaming agent enabled by automated red teaming for CodeGen AI
| Chengquan Guo , Yuzhou Nie, Chulin Xie, Zinan Lin, Wenbo Guo, and Bo Li
BlueCodeAgent is an end-to-end blue-teaming framework built to boost code security using automated red-teaming processes, data, and safety rules to guide LLMs’ defensive decisions. Dynamic testing reduces false positives in vulnerability detection.
Awards | ACM SIGMICRO
Esha Choukse receives 2025 SIGMICRO Early Career Award
Choukse was recognized for her foundational contributions to hardware memory compression and to sustainable and efficient datacenter systems.
RedCodeAgent: Automatic red-teaming agent against diverse code agents
| Chengquan Guo , Chulin Xie, Yu Yang, Zhaorun Chen, Zinan Lin, Xander Davies, Yarin Gal, Dawn Song, and Bo Li
Code agents help streamline software development workflows, but may also introduce critical security risks. Learn how RedCodeAgent automates and improves “red-teaming” attack simulations to help uncover real-world threats that other methods overlook.
In the news | Our Digital Life Episode 7: Audio Signal Processing in the Era of AI
Audio Signal Processing in the Era of AI with Dr. Ivan Tashev
In this episode of the IEEE Signal Processing Society podcast, Felicia Lim, a staff software engineer at Google, where she works on audio signal processing and machine learning, interviews Dr. Ivan Tashev, Partner Software Architect at Microsoft Research (MSR) –…
In the news | What will AI Mean for Humanity?
What will AI Mean for Humanity?
E. Glen Weyl appeared on a panel at Harvard University about the implications of AI for the human soul.