hengxin
I am interested in distributed computing and formal methods.
18
answers
91
questions
~114k
people reached
-
Nanjing, China
-
Member for 8 years, 2 months
-
477 profile views
-
Last seen Nov 4 '20 at 3:50
Communities (18)
Top network posts
Badges (55)
Gold
—
Silver
20
Rarest
-
Jul 2 '14
-
Oct 15
Bronze
35
Rarest
-
Apr 17 '17
-
Dec 29 '18
-
Nov 23 '15