EVENT

Quantum, Parallelism, and Ownership

We are pleased to inform you about the upcoming seminar by Dr. Yusuke Matsushita from
Kyoto University titled : "Quantum, Parallelism, and Ownership" Everyone interested is cordially invited to attend!

Title:

Quantum, Parallelism, and Ownership

Abstract:

In this talk, I will present the ongoing joint work of myself, Kengo Hirata, and Ryo Wakizaka on concurrent quantum separation logic for fine-grained parallelism.
Our logic enables modular verification of quantum programs made efficient by fine-grained parallelism. Remarkably, it can reason about parallel processes that operate on the same qubits but are semantically free of data races. It also satisfies a type of completeness. A key mechanism for this is a new form of quantum memory ownership that allows flexible sharing.

Speaker:

Yusuke Matsushita (Kyoto University)

Time/Date:

16:00- (doors open at 15:30),Thursday, December 19

Place:

NII, Room 1208-1210 and Online

Online:

Zoom

Language:

Slides in English, talk in Japanese (English questions are welcome)

Contact:

If you would like to join, please contact by email.
Email :sekiyama[at]nii.ac.jp