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
Meta User
Network Profile
6,927
reputation
1
15
46

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
74
questions
~196k
people reached

Communities (17)

Top Network Posts

Top Tags (152)

Score 163
Posts 81
Posts % 33
Score 41
Posts 26
Score 33
Posts 27
Score 29
Posts 20
Score 29
Posts 20
Score 27
Posts 18
View all tags →

Top Posts (248) 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 (62)

Gold

1

Rarest

Silver

15

Rarest

Bronze

46

Rarest

View all badges →