Computer Science
Meta user
Network profile
7,158
reputation
1
20
52

hengxin

I am a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am interested in distributed computing and formal methods.

Contact: hengxin0912@gmail.com

Address: Nanjing University Xianlin Campus, 163 Xianlin Avenue, Qixia, Nanjing 210023, Jiangsu, China

176
answers
79
questions
~262k
people reached

Communities (18)

Top network posts

Top tags (155)

Score 171
Posts 84
Posts % 33
Score 40
Posts 30
Score 40
Posts 26
Score 35
Posts 23
Score 32
Posts 20
Score 30
Posts 20
View all tags →

Top posts (255) All Questions Answers | Votes Newest

19 log(n) complexity. Difficulty understanding example Apr 3 '17
19 How do I find my wife in a supermarket? Jan 16 '16
16 If the two generals problem is unsolvable how can we human beings agree on things? Jun 8 '15
14 Formal program verification in practice Jan 23 '16
12 What is the best solution to find whether the sum of an array is even or odd Mar 3 '15
9 Product of a Transition System and a Finite Automaton Apr 13 '15
8 When did polynomial-time algorithm become of interest? Jun 22 '15
8 Compute square root using (bit) additions and shifts as primitives Sep 27 '14
8 Necessary and sufficient condition for unique minimum spanning tree Dec 8 '14
8 How to understand the reduction from 3-Coloring problem to general $k$-Coloring problem? Jan 1 '13
View all questions and answers →

Badges (73)

Gold

1

Rarest

Silver

20

Rarest

Bronze

52

Rarest

View all badges →