Utkan Gezer

I recently completed my MSc and PhD at Boğaziçi University Computer Engineering under the supervision of Prof. Cem Say. Our research in theoretical computer science focused on the power of finite-state verifiers in proof and debate systems, examining how their running time and access to randomness affect that power. We also studied unconditional quantum–classical separations under very small space bounds.

Looking ahead, I am interested in developing ideas, tools, and research infrastructures that make knowledge easier to produce, verify, connect, and build upon, while reducing unnecessary friction and serving broad public benefit.