GitHub - jf-li00/jf-li00

I'm a master student at HUST

👨‍💻 I’m currently working on Program Analysis / Fuzzing(especially for smart contract).
📚 Learning Static Analysis / Fuzzing / Formal Methods(just begins) /
🎇 I'm also much interested in Compilers / Functional Programming
💪🏼 Future Goals: Learn more interesting technologies and code for fun.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
icons		icons
README.md		README.md