401
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 (4)

Score 0
Posts 1
Posts % 100
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

Badges (9)

Gold

Silver

4

Rarest

Bronze

5

Rarest