Senior Lecturer Canh Minh Do (IMAGE)

Japan Advanced Institute of Science and Technology

Senior Lecturer Canh Minh Do

Caption

The team develops Concurrent Dynamic Quantum Logic (CDQL) to formally specify and verify complex quantum protocols and ensure that emerging quantum technologies work as intended before real-world deployment.

Credit

Senior Lecturer Canh Minh Do from JAIST Image source: https://www.jaist.ac.jp/english/laboratory/cs/canhdo.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.