Jake
1,214
reputation
5
21
Main interests: circuit complexity theory (specifically $CC^0$ circuits), formal logic, implicit computational complexity theory