Experience

Max Planck Society

• Germany
• Civic and Social Organizations
• 300 - 400 Employee

• Research Internship

  • Mar 2022 - Present

  Applying formal verification on blockchain technology, especially off-chain cryptographic protocols and payment channel networks. Applying formal verification on blockchain technology, especially off-chain cryptographic protocols and payment channel networks.



University of Cambridge

• United Kingdom
• Research Services
• 700 & Above Employee

• Research Internship

  • Mar 2021 - Aug 2021

  1. Formalization of Gambler's ruin problem(one-dimensional random walk) and its application in security analysis of bitcoin protocol. 2. Machine learning of theorem proving. 1. Formalization of Gambler's ruin problem(one-dimensional random walk) and its application in security analysis of bitcoin protocol. 2. Machine learning of theorem proving.



Nanjing University

• China
• Higher Education
• 700 & Above Employee

• Summer Intern

  • Jul 2019 - Aug 2019

  Researching on arithmetic number theory and representation theory Researching on arithmetic number theory and representation theory