A Tulane professor has been granted the “Semantics, Formal Reasoning and Tool Support for Quantum Programming” grant from the U.S. Air Force Office of Scientific Research. The $3.67 million grant will help Michael Mislove and his team to develop quantum computing technology at the university.
“The goal of the project is to develop tools and related methodologies for designing and analyzing programming languages for quantum computers, which are being designed to complete tasks and solve problems far more efficiently and faster than today’s computers,” shared a release from Tulane.
Mislove is a Pendergraft Herbert Buchanan Professor of Mathematics and chairman of the Computer Science Department at Tulane.
In addition to researchers from Tulane, Mislove will also be working with the University of Pennsylvania, the University of Iowa and Stanford University as part of the Department of Defense’s Multi-University Research Initiative program on the project.
“So new approaches – semantic models, formal methods and related tools – need to be developed so that quantum programs can be proved correct before they’re run on an actual computer,” said Mislove. “The looming appearance of universal quantum computers makes it imperative to devise methods for correctly programming such devices.”