411
reputation
4
5

Hongjin Liang

I'm a phd student in USTC-Yale Joint Research Center for High-Confidence Software. My research interests are in the area of programming languages and formal methods, especially concurrency theories.

0
answers
1
question
~3k
people reached

Top network posts

We respect a laser-like focus on one topic.

Top tags (0)

This user has not participated in any tags.

Top posts (1)

Badges (9)

Gold

Silver

4

Rarest

Bronze

5

Rarest