Blockchain, Qtum, Deepsea, Formal Verification.
Ph.D. student over two years to work on the DeepSEA language, DeepSEA Compiler, and the backend infrastructure to run DeepSEA on the Qtum VM. “This DeepSEA-Qtum project aims to enable the formal verification of Qtum smart contracts in Coq and fundamentally improve the reliability and security of