Registered user since Mon 21 Nov 2022

Name:Hanru Jiang
Country:China
Affiliation:Yanqi Lake Beijing Institute of Mathematical Sciences and Applications, China

Contributions

SPLASH 2022 Author of On incorrectness logic for Quantum programs within the OOPSLA-track