A junior undergraduate student major in Computer Science.
PL beginner with some software engineering experience.
Working with Qinxiang Cao at JHC@SJTU
Research interests: programming language, formal verification, program analysis
You may wish to check out my informal profile.