Programming languages and software engineering
Webinar
Expanding the possibilities of programming languages with Bosque webinar
The Bosque Programming Language project investigates the implications of explicitly designing a program language with the goal of supporting automated reasoning tools. This webinar, led by Principal Engineer Mark Marron, explains the ideas behind this project, the exciting…
Group
Grounded Reasoning and Interactive Learning (GRAIL)
The GRAIL (Grounded Reasoning and Interactive Learning) team brings together the advances our team has made on NL→Code neural program synthesis technologies and interactive machine teaching to build new classes of system that enable people…
Video
Harnessing the problem-solving power of quantum computing
Quantum computers are not only set to revolutionize the way we think about computing, but they also hold the potential to change our understanding of the world. The ability to leverage unique quantum phenomena such…
Webinar
Harnessing the problem-solving power of quantum computing webinar
In this webinar, Anita Ramanan, a Senior Quantum Software Engineer at Microsoft, will take you on a quantum journey, starting with a walk-through of potential applications and continuing with an explanation of what makes quantum…
