Jaap van Oosten is an expert on realizability models for systems of constructive logic, and is the author of a comprehensive monograph on the subject: "Realizability: An Introduction to its Categorical Side" .He has extensive experience in teaching the material covered in this book, and have been active researcher in mathematical logic and related fields.
