UTS:QSI (@uts_qsi) 's Twitter Profile
UTS:QSI

@uts_qsi

The UTS Centre for Quantum Software and Information develops the software and information processing infrastructure for future quantum technologies.

ID: 807103381978247168

linkhttp://qsi.uts.edu.au calendar_today09-12-2016 06:03:36

275 Tweet

1,1K Followers

146 Following

UTS:QSI (@uts_qsi) 's Twitter Profile Photo

New paper by QSI's Yuan Feng and collaborators introduces a refinement calculus tailored for quantum programs. Read it in full here: arxiv.org/abs/2311.14215….