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

Coding for fun & with ♡.

Actively seeking for internship opportunities.

Email: