Research on the theoretical foundations of quantum computing and development of theoretically guaranteed quantum algorithms
The group promotes research on the theory of quantum computing to build the theoretical foundation of the entire project. Specifically, the group theoretically analyzes quantum hardware and software in collaboration with the Osaka University group and the Keio University group. The main goal is to provide theoretical guarantees of quantum advantage for quantum devices and algorithms. The group also develops new computing methods utilizing quantum effects unique to quantum computers (i.e., not effectively simulated by conventional computers), and explores innovative methods to apply quantum computers that should be realized in the next 10–20 years.


François Le Gall
Professor, Graduate School of Mathematics, Nagoya University
Quantum algorithms, quantum complexity theory



Akinori Kawachi
Professor, Department of Information Engineering, Graduate School of Engineering, Mie University
Quantum Algorithms and Quantum Protocols



Tomoyuki Morimae
Associate Professor, Yukawa Institute for Theoretical Physics, Kyoto University
quantum computing , quantum cryptography

Full name  Organization  Title  Specialization/Research theme 

Harumichi Nishimura  Department of Mathematical Informatics, Graduate School of Informatics, Nagoya University  Professor  Quantum complexity theory 
Francesco Buscemi  Department of Mathematical Informatics, Graduate School of Informatics, Nagoya University  Professor  Quantum information theory 
Jacques Garrigue  Graduate School of Mathematics, Nagoya University  Professor  Theory of programming languages 
Kohtaro Kato  Department of Mathematical Informatics, Graduate School of Informatics, Nagoya University  Assistant Professor  Quantum information, Quantum condensed matter physics 
Aditya Nema  Department of Mathematical Informatics, Graduate School of Informatics, Nagoya University  Designated assistant professor  Quantum information theory 
Yinan Li  Graduate School of Mathematics, Nagoya University  Designated assistant professor  Quantum algorithms 
Ansis Rosmanis  Graduate School of Mathematics, Nagoya University  Designated assistant professor  Quantum algorithms 
Takafumi Saikawa  Graduate School of Mathematics, Nagoya University  Researcher  Theory of programming languages 
Ray Maharshi  Department of Information Engineering, Graduate School of Engineering, Mie University  Project Assistant Professor  Optimization in Quantum Computing 
Masazumi Honda  Yukawa Institute for Theoretical Physics, Kyoto University  Assistant Professor  quantum computing for field theory 
Dall'Arno Michele  Yukawa Institute for Theoretical Physics, Kyoto University  ProgramSpecific Assistant Professor  quantum information 
Ben Baragiola  Yukawa Institute for Theoretical Physics, Kyoto University  Research Assistant Professor  quantum error correction 