hengxin
top 10% overall
I am interested in distributed computing and formal methods.
18
answers
31
questions
~35k
people reached
-
Nanjing, China
-
Member for 8 years, 4 months
-
160 profile views
-
Last seen Sep 26 '20 at 2:01
Communities (18)
Top network posts
Badges (43)
Gold
1
Rarest
-
Dec 8
Silver
13
Rarest
-
Mar 14 '19
-
May 14 '15
Bronze
29
Rarest
-
Oct 9 '16
-
Dec 15 '14
-
Aug 24 '18