Jaap van Oosten

Jaap van Oosten is a Dutch mathematician and Senior Lecturer in Mathematics at Utrecht University, specializing in logic, foundations of mathematics, and topos theory. He is the author of the book 'Realizability' and has made significant contributions to the intersection of computability and logic through his research on categorical realizability.