Hi there ?? I'm Jiefeng Li! 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. Languages I use Some of the technologies I have worked with