Professor Emeritus at University of Amsterdam
Computer scientist and professor emeritus at the University of Amsterdam's Institute of Informatics
Referenced in coverage
“Dutch computer scientist who proposed formalizing Andrew Wiles's Fermat's Last Theorem proof a decade after its publication.”
“Dutch computer scientist who proposed formalizing Wiles's proof in the early 2000s, initiating the push toward computer-verifiable mathematics.”