Closing remarks: Empowering software developers and mathematicians with next-generation AI
Machine learning systems have become increasingly capable of making fast, plausible predictions in diverse situations. Combining this capability with the reliability of symbolic reasoning will produce next generation AI that will empower developers and mathematicians in exciting new ways. This track will explore recent progress in this area, including ways to boost productivity, security, and support for evolving communities, as well as research on performant machine learning systems.
Learn more about the 2021 Microsoft Research Summit: https://Aka.ms/researchsummit (opens in new tab)
- Track:
- Empowering Developers and Mathematicians with Next-Gen AI
- Date:
- Speakers:
- Madan Musuvathi
- Affiliation:
- Microsoft Research
-
-
Madan Musuvathi
Partner Research Manager
-
-
Empowering Developers and Mathematicians with Next-Gen AI
-
-
Research talks: AI for software development
Speakers:- Neel Sundaresan,
- Oege de Moor,
- Todd Mytkowicz
-
-
Research talk: Torchy: A tracing JIT compiler for PyTorch
Speakers:- Nuno Lopes
-
Lightning talks: Augmented Mathematical Intelligence
Speakers:- Leonardo de Moura,
- Kevin Buzzard,
- Daniel Selsam
-
Research talks: Software supply chain security
Speakers:- Adrian Diglio,
- Michael Scovetta
-
Panel: Preparing for the next generation of developer communities
Speakers:- Margaret Price,
- Bobby Dresser,
- Mala Kumar
-
