- 😼 I'm Yuxuan Sun, an undergraduate @ SJTU-SPEIT, majoring French and minoring Information Engineering.
- 🔭 I’m currently working on Algorithm, Data Structure, and some interesting miscellaneous items.
- 🌱 I’m currently learning rustlings / Berkeley CS61B.
- 👯 I’m looking to collaborate on Formal Verification.
- 🤔 I’m looking for help with Computer Architecture / Compiler / Static Analysis / Formal Methods.
- 💬 Working languages: Chinese(Mandarin), English, French(mal T_T). Feel free to ask me about 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: Student of Shanghai Jiao Tong University - SPEIT
Location: Shanghai, China
Blog: definfo.github.io