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
Join us in building a kind, collaborative learning community via our updated Code of Conduct.
Meta User
Network Profile
6,766 reputation
13
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

172 answers
68 questions
~184k people reached

Communities (17)

Top Network Posts

Top Tags (149)

Score 159
Posts 75
Posts % 31
Score 41
Posts 26
Score 32
Posts 26
Score 29
Posts 20
Score 28
Posts 20
Score 27
Posts 18
View all tags →

Top Posts (240) 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 What is the best solution to find whether the sum of an array is even or odd Mar 3 '15
11 Formal program verification in practice Jan 23 '16
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 How to understand the reduction from 3-Coloring problem to general $k$-Coloring problem? Jan 1 '13
7 Necessary and sufficient condition for unique minimum spanning tree Dec 8 '14
View all questions and answers →

Badges (59)

Gold —
Silver 13

Rarest
Bronze 46

Rarest
View all badges →