Avatar
LightQuantum
E53E D56B 7F20 B7BB
CS undergraduate @SJTU-20.
Coding with ♡.

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 ♡.

GitHubResumeSchedule

Actively seeking for internship opportunities.

Email:

TwitterTelegram

You may wish to check out my informal profile.