Professor Kazuhiro Ogata (IMAGE)

Japan Advanced Institute of Science and Technology

Professor Kazuhiro Ogata

Caption

Prof. Kazuhiro Ogata and Dr. Canh Minh Do from JAIST lead the research on formal methods for quantum computing, with their work focusing on the formal specification and verification of quantum systems to ensure that the future of quantum computing is reliable and trustworthy.

Credit

Professor Kazuhiro Ogata from JAIST Image source: https://www.jaist.ac.jp/english/laboratory/cs/ogata.html

Usage Restrictions

Cannot be used without permission

License

Original content

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.