Xin Sun

4PUBLICATIONS
1CO-AUTHORS
Programming languagesFoundations of quantum mechanicsQuantum information, computation and communicationDegenerate quantum gases and atom optics
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (4)

|Sep 28, 2021
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain.

Xin Sun, Piotr Kulicki, Mirek Sopek

|Aug 27, 2021
Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem.

Xin Sun, Feifei He, Mirek Sopek

|Dec 08, 2020
Multi-Party Quantum Byzantine Agreement without Entanglement.

Xin Sun, Piotr Kulicki, Mirek Sopek

|Dec 08, 2020
A First Step to the Categorical Logic of Quantum Programs.

Xin Sun, Feifei He

Pageof 1

Frequent Collaborators

2 joint publications

Piotr Kulicki