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
-
Boise, ID
-
Member for 10 years, 1 month
-
74 profile views
-
Last seen Jan 19 '13 at 14:39
Communities (2)
Top network posts
We respect a laser-like focus on one topic.
Badges (9)
Gold
—
Silver
4
Rarest
-
Jun 2 '15
-
Nov 18 '17
Bronze
5
Rarest
-
Sep 26 '13
-
May 2 '11
-
Mar 11 '11