Design and Verification of Quantum Circuits

Design and Verification of Quantum CircuitsDesign and Verification of Quantum CircuitsDesign and Verification of Quantum Circuits
  • Home
  • Team
  • Former Members
  • Publications
  • 更多
    • Home
    • Team
    • Former Members
    • Publications

Design and Verification of Quantum Circuits

Design and Verification of Quantum CircuitsDesign and Verification of Quantum CircuitsDesign and Verification of Quantum Circuits
  • 登录
  • 创建账户

  • 我的账户
  • 登录身份为:

  • filler@godaddy.com


  • 我的账户
  • 注销


登录身份为:

filler@godaddy.com

  • Home
  • Team
  • Former Members
  • Publications

账户


  • 我的账户
  • 注销


  • 登录
  • 我的账户

Sanjiang Li

About me

Research interests

Research interests

I am a professor in Centre for Quantum Software and Information (QSI), University of Technology Sydney (UTS). Before joining UTS, I worked in the Department of Computer Science and Technology, Tsinghua University from 2001 to 2008.  

DBLP                                   Homepage@UTS

Research interests

Research interests

Research interests

  • quantum computation
  • artificial intelligence
  • knowledge representation 
  • spatial & temporal reasoning
  • constraint solving
  • fuzzy logic

Hobbies

Research interests

Hobbies

Let's Play Mahjong!


A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand

Copyright © 2021 VeriQC - All Rights Reserved.

由 GoDaddy 提供技术支持

  • qubit mapping
  • model checking
  • equivalence checking
  • tensor decision diagram