I am a first-year Ph.D. at Columbia University, co-advised by Prof. Josh Alman, Xi Chen, Tal Malkin, Toniann Pitassi, Rocco Servedio, and Henry Yuen. My research interests lie broadly in circuit complexity, pseudorandomness, cryptography, and proof complexity.
Email: [my first name] dot [my last name] at columbia dot edu
- Black-box Constructive Proofs are Unavoidable, ITCS 2023 [ITCS version]
Joint work with Lijie Chen and Ryan Williams