hengxin
I am interested in distributed computing and formal methods.
176
answers
81
questions
~347k
people reached
-
Nanjing, China
-
Member for 8 years, 1 month
-
736 profile views
-
Last seen Nov 25 '20 at 13:10
Communities (18)
Top network posts
Badges (82)
Gold
2
Rarest
Silver
24
Rarest
-
Apr 23 '15
-
Dec 6 '16
-
Sep 26 '18
Bronze
56
Rarest
-
Oct 22 '18
-
Jan 29 '16
-
Aug 10 '18