huxinwen1994

Smart Contracts, Software Security, Formal Methods, Machine Learning

Changsha, China

Pinned Repositories

Data-Analysis
Language:Jupyter Notebook00
huxinwen1994.github.io
Language:HTML00
solidity-to-cmodel
Solidity, the Contract-Oriented Programming Language
Language:C++0 0 00

huxinwen1994's Repositories

huxinwen1994/Data-Analysis
Language:Jupyter Notebook00
huxinwen1994/huxinwen1994.github.io
Language:HTML00
huxinwen1994/solidity-to-cmodel
Solidity, the Contract-Oriented Programming Language
Language:C++0 0 00