Microsoft Research The AI Revolution in Medicine, Revisited A Microsoft Research Podcast series Learn more Featured Podcasts Jun 12 How AI is reshaping the future of healthcare and medical research Publication Featured Blogs Jun 10 Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library Download Featured Blogs Jun 5 BenchmarkQED: Automated benchmarking of RAG systems Download Publication Publications Jun 1 Hybridization-Encoded DNA Tags with Paper-Based Readout for Anti-Forgery Raw Material Tracking Articles Jun 12 MaaG: A new framework for consistent AI-generated games Publications May 20 The Agentic Economy News Apr 30 Ben Zorn and coauthors receive 2025 Jean Claude Laprie Award Publications Jun 10 Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Publications Jul 8 A 0.51-Approximation of Maximum Matching in Sublinear n^1.5 Time Publications Jun 9 Code Researcher: Deep Research Agent for Large Systems Code and Commit History Publications Jun 22 Autotuning Systems: Techniques, Challenges, and Opportunities Tools Jun 6 Lost in Conversation Publications Jun 4 Sulfonated Benzocinnolines for Alkaline Redox-Flow Batteries Loading Opens in a new tab
Featured Podcasts Jun 12 How AI is reshaping the future of healthcare and medical research Publication
Featured Blogs Jun 10 Rewriting SymCrypt in Rust to modernize Microsoft’s cryptographic library Download
Publications Jun 1 Hybridization-Encoded DNA Tags with Paper-Based Readout for Anti-Forgery Raw Material Tracking
Publications Jun 10 Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
