Hongjin Liang's user avatar
Hongjin Liang's user avatar
Hongjin Liang's user avatar
Hongjin Liang
  • Member for 13 years, 4 months
  • Last seen more than 11 years ago
Stats
431
reputation
3k
reached
0
answers
1
question
Loading…
About

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.

This user doesn’t have any gold badges yet.
4
silver badges
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts