Shanghai Jiao Tong University
Bachelor of Engineering
2019.09 - Current
Major in Electrical EngineeringMinor in Computer Science
Major in Electrical EngineeringMinor in Computer Science
CoqHaskellOCamlPascalPythonC/C++
Programming Language TheoryFormal Verification
Shanghai Marathon 2020POPL 2021 (Student Volunteer)