Ronald Michiel de Wolf (born 1973) is a Dutch Computer Scientist, currently a Senior Researcher at Centrum Wiskunde & Informatica (CWI) and a professor at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam (UvA).
His research interests are on Quantum computing, Quantum information, Coding theory, and Computational complexity theory.
His scientific contributions include the first exponential separation between one-way quantum and classical communication protocols for a partial Boolean function,Dmitry Gavinsky, Julia Kempe, Iordanis Kerenidis, Ran Raz, and Ronald de Wolf. 2007. Exponential separations for one-way quantum communication complexity, with applications to cryptography. In Proceedings of the thirty-ninth annual ACM symposium on Theory of computing (STOC '07). ACM, New York, NY, USA, 516–525. DOI: https://doi.org/10.1145/1250790.1250866 and a proof that a locally decodable code (LDC) with 2 classical queries need exponential length.Iordanis Kerenidis and Ronald de Wolf. 2003. Exponential lower bound for 2-query locally decodable codes via a quantum argument. In Proceedings of the thirty-fifth annual ACM symposium on Theory of computing (STOC '03). ACM, New York, NY, USA, 106–115. DOI: https://doi.org/10.1145/780542.780560 This suggested the use of techniques from quantum computing to prove results in "classical" computer science.
De Wolf and his coauthors received the Best Paper Award at the Annual ACM Symposium on Theory of Computing (STOC) in 2012.Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary, and Ronald de Wolf. 2012. Linear vs. semidefinite extended formulations: exponential separation and strong lower bounds. In Proceedings of the forty-fourth annual ACM symposium on Theory of computing (STOC '12). ACM, New York, NY, USA, 95–106. DOI: https://doi.org/10.1145/2213977.2213988 For the same article, they also received the 2022 STOC 10-year test of time award and the 2023 Gödel Prize.The 2023 Gödel Prize
Publications
List of publications on arXiv
References