Computer scientist and TeX user.
Edinburgh, United Kingdom
Member for 9 years, 1 month
1 profile view
Last seen Jan 23 '15 at 11:09
- Theoretical Computer Science 13.9k 13.9k 33 gold badges5656 silver badges140140 bronze badges
- Computer Science 2.5k 2.5k 11 gold badge1212 silver badges3333 bronze badges
- MathOverflow 1.4k 1.4k 11 gold badge1212 silver badges2727 bronze badges
- TeX - LaTeX 1.3k 1.3k 22 gold badges1919 silver badges2929 bronze badges
- Mathematics 1k 1k 1010 silver badges2525 bronze badges
- View network profile →
Top network posts
- 180 What packages do people load by default in LaTeX?
- 137 Major unsolved problems in theoretical computer science?
- 81 Animation in PDF presentations, without Adobe Reader?
- 54 Can one amplify P=NP beyond P=PH?
- 51 Dinner-table description of theoretical computer science?
- 46 Constraint satisfaction problem (CSP) vs. satisfiability modulo theory (SMT); with a coda on constraint programming
- 45 Generalized Ladner's Theorem
- View more network posts →