Jake
113
reputation
4
Main interests: circuit complexity theory (specifically $CC^0$ circuits), formal logic, implicit computational complexity theory