Previous names on stackexchange: Goos, CS

Current:

• PhD Computer Science, University of Pennsylvania

Past:

• ScB Mathematics - Computer Science, Brown University

Questions

Is there a computable model of ZFC?

Is there a universal mapping property satisfied by the disjoint union of totally ordered sets?

A generalization of AM-GM using elementary symmetric polynomials

Infinite chomp boards where player two wins

Answers

Only 7 odd integers $n$ such that $\phi(n)$ and $\phi(n+1)$ are both powers of two

Non-atomic probability spaces

Optimal way to copy and paste the same character many times

At least 31 geometric progressions required to cover $\{1, 2, 3, \ldots, 100\}$

Examples of nonabelian semigroups without identity

When is a polynomial always divisible by some integer?

Product of two Cesaro-summable sequences may not be Cesaro-summable