Ben Davis
I'm a computer science PhD student studying at McGill University under Robert Robere. My main area of interest is computational complexity, mostly proof complexity, but I also have a variety of passing interests in other areas of TCS and computer science more broadly.
The last photo I was cornered into.
Papers
-
Colourful TFNP and Propositional Proofs
Ben Davis and Robert Robere
Appeared at CCC 2023. Available on ECCC.
-
On Public Coin Zero-Error Randomized Communication Complexity
Ben Davis, Hamed Hatami, William Pires, Ran Tao, and Hamza Usmani
Information Processing Letters, Nov. 2022. Available on ECCC.
Random Notes
I'll add some of my old notes here once I have time to polish them up.
The background is a live cellular automaton simulation, rendered with WebGL! See the source code here.