Computer scientist and TeX user.
Edinburgh, United Kingdom
Member for 9 years, 6 months
1 profile view
Last seen Jan 23 '15 at 11:09
- Theoretical Computer Science 18.2k 18.2k 33 gold badges5656 silver badges141141 bronze badges
- Computer Science 3k 3k 11 gold badge1515 silver badges3333 bronze badges
- MathOverflow 2.1k 2.1k 11 gold badge1414 silver badges2828 bronze badges
- TeX - LaTeX 1.9k 1.9k 22 gold badges2222 silver badges3131 bronze badges
- Mathematics 1.1k 1.1k 1010 silver badges2525 bronze badges
- View network profile →
Top network posts
- 182 What packages do people load by default in LaTeX?
- 138 Major unsolved problems in theoretical computer science?
- 84 Animation in PDF presentations, without Adobe Reader?
- 54 Can one amplify P=NP beyond P=PH?
- 51 Dinner-table description of theoretical computer science?
- 47 Constraint satisfaction problem (CSP) vs. satisfiability modulo theory (SMT); with a coda on constraint programming
- 45 Generalized Ladner's Theorem
- View more network posts →