Hi there, I'm @fanyi-zhao and I love programming with Java ☕️, Rust, Python 🐍, and OCaml 🐫. Currently, I'm interested in expanding my knowledge in compilers, optimization, and formal verification. At the moment, I'm learning Rust 🚀, LLVM 🛠, and Boogie to improve my skills. If you have an interesting project, I would love to collaborate with you. You can reach me at [email protected].
fanyi-zhao Goto Github PK
Name: FANYI ZHAO
Type: User
Bio: Java / Rust / OCaml / TypeScript. Exploring compilers, optimization, and software analysis.
Location: Earth