Hanru Jiang

Hanru Jiang

Assistant Research Fellows
hanru@bimsa.cn
形式化方法、量子计算