- πΌ I'm an undergraduate @ SJTU-SPEIT.
- π Iβm currently working on Formal Verification with Coq Proof Assistant.
- π± Iβm currently learning algorithm verification, compiler and Rust dev skills.
- π― Iβm looking to collaborate on NixOS contribution.
- π€ Iβm looking for help with compiler frontend.
- π¬ Working languages: Chinese(Mandarin), English, French(mal T_T). Feel free to ask me anything about SJTU-SPEIT.
- π« How to reach me via e-mail: [email protected] / [email protected]
definfo Goto Github PK
Name: Yuxuan Sun
Type: User
Company: Shanghai Jiao Tong University
Bio: Undergraduate of Shanghai Jiao Tong University - SPEIT
Location: Shanghai, China
Blog: definfo.github.io