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 Blogs Jun 17 New methods boost reasoning in small and large language models Download Publication Publications Jun 6 Optimizing Cloud-to-GPU Throughput for Deep Learning With Earth Observation Data 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 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
