Postdoc at UMN, working in algebraic combinatorics and dabbling in category theory and TCS.
Top network posts
- 78 Most harmful heuristic?
- 75 What are some examples of colorful language in serious mathematics papers?
- 69 Wanted: a "Coq for the working mathematician"
- 47 A paper review I've undertaken turning out to be harder than expected
- 46 Function extensionality: does it make a difference? why would one keep it out of the axioms?
- 45 How to make Ext and Tor constructive?
- 40 How to be rigorous about combinatorial algorithms?
- View more network posts →
Top tags (14)
24 Anonymity Policy Nov 19 '15
11 Public dumps for mathoverflow? Jun 25 '13
10 Printer-friendly versions? Jul 18 '13
3 Backticks breaking MathJax in comments Jul 2 '13
2 Broken math on some answers Jun 25 '13
0 Will there be an update fixing the rendering? Sep 2 '13