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 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 News Jun 4 How Microsoft, Physics Wallah are bringing AI-driven learning to Indian classrooms Publications Jun 3 GUI-Actor: Coordinate-Free Visual Grounding for GUI Agents Publications Jun 3 Expanding smallholder irrigation in central Kenya demonstrates the importance of protecting grassland landscapes 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 10 Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Publications Jun 3 Expanding smallholder irrigation in central Kenya demonstrates the importance of protecting grassland landscapes
