Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
7,019
reputation
1
19
48

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

174
answers
75
questions
~213k
people reached

Communities (17)

Top Network Posts

Top Tags (151)

Score 168
Posts 81
Posts % 33
Score 41
Posts 25
Score 38
Posts 29
Score 32
Posts 21
Score 30
Posts 20
Score 29
Posts 20
View all tags →

Top Posts (249) 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
12 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 (68)

Gold

1

Rarest

Silver

19

Rarest

Bronze

48

Rarest

View all badges →