Postdoc at UMN, working in algebraic combinatorics and dabbling in category theory and TCS.
Top Network Posts
- 78 Most harmful heuristic?
- 74 What are some examples of colorful language in serious mathematics papers?
- 69 Wanted: a "Coq for the working mathematician"
- 46 Function extensionality: does it make a difference? why would one keep it out of the axioms?
- 46 A paper review I've undertaken turning out to be harder than expected
- 44 How to make Ext and Tor constructive?
- 39 How to be rigorous about combinatorial algorithms?
- View more network posts →
28 What was the reason to change the layout? Aug 9 '18