Assistant Professor DO, Minh Canh, Computing Science Research Area, received the First Place of Best Paper/Presentation Award for Young Researcher in the 15th International Workshop on Rewriting Logic and its Applications (WRLA 2024).

WRLA 2024 is a satellite event of ETAPS 2024, which was held in Luxembourg on April 6-7, 2024. The aim of WRLA is to bring together researchers with a common interest in rewriting and its applications, and to give them the opportunity to present their recent work, discuss future research directions, and exchange ideas.
The First Place of Best Paper/Presentation Award for Young Researcher is presented to young researchers whose presentations and papers are excellent. The award was presented to two young researchers this time, and Assistant Professor Do, Minh Canh won the first place.

*Reference: WRLA 2024
　　　　　　 ETAPS 2024

■Date Awarded
May 31, 2024

■Title
Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude

■Authors
Canh Minh Do and Kazuhiro Ogata

■Abstract
All quantum circuits may not be handled by a given quantum computer. This is because the quantum computer may not be equipped with all possible quantum gates. Therefore, a quantum circuit QC1 may need to be converted to another quantum circuit QC2 such that all quantum gates used by QC2 can be handled by the quantum computer and QC2 is equivalent to QC1. It is not straightforward to check if QC2 is equivalent to QC1. The paper proposes the foundation of checking equivalence of quantum circuits, develops a tool, and reports on experimental data. One important finding is to worth considering constant inputs to quantum circuits.

■Comment
It is a great honor for me to receive the First Place of Best Paper/Presentation Award for Young Researcher at WRLA 2024. This recognition means a great deal to me and would not have been possible without the support and encouragement of many individuals. Firstly, I sincerely thank Professor Kazuhiro Ogata for his invaluable guidance and support throughout my research journey. I am also grateful to the organizers, reviewers, and attendees of WRLA 2024 for making this workshop successful and for considering our paper worthy of this award. Lastly, a special thanks goes to my beloved family for their love and endless support. This award is a powerful motivation for me to continue striving for excellence in my research and to contribute to society.

June 19, 2024