Undergraduate @ SJTU-SPEIT-22
Arch Linux user (newbee)
I have very basic knowledge about Computer Network / Computer Architecture / Linux Distro / Deep Learning / Python and I am now interested in Software Testing & Verification / Operating System / Modern PL.
Recently I am focusing on Berkeley CS61B, and plan to learn Berkeley CS61C, CMU 15-213, Tiger Compiler, etc in the future.
Looking forward to collaborating on software verification and DevOps workflow.
Working languages: Chinese(Mandarin), English, French(mal). Please feel free to contact me via e-mail: hjsdbb@outlook.com / hjsdbb1@gmail.com