Presenter Full Program · Contributors · Organizations · Search Program · My Agenda · Happening NowMore…Search ProgramMy AgendaHappening NowChiao-Shan JhangNational Taiwan UniversityPresentationsResearch ManuscriptAccurate BDD-based Unitary Operator Manipulation for Scalable and Robust Quantum Circuit VerificationDesignQuantum Computing