2,089
reputation
8
2
hengxin
I am interested in distributed computing and formal methods.
-
Nanjing, China
-
Member for 8 years, 2 months
-
0 profile views
-
Last seen Sep 13 '19 at 3:47
Communities (18)
Top network posts
Keeping a low profile.
This user hasn't posted yet.
Badges (10)
Gold
—
Silver
8
Rarest
Bronze
2
Rarest
-
Mar 19 '15
-
Aug 1 '14
