Skills#
- Programming Languages in C/C++/Python, afortable with Go/Rust
- Program Analysis with static analysis, symbolic execution,formal verification and fuzz.
- Blockchain in Smart Contract Security,familiar with general knowledge of blockchain architecture & consensus algorithm.
Miscellaneous#
- Research Interest: Blockchain Security,Formal Verification,etc.