Three Oxford mathematicians, Michael Atiyah, Daniel Quillen and Simon Donaldson, have won Fields Medals, often called the "Nobel Prize for mathematics". Andrew Wiles, who proved Fermat's Last Theorem, was educated at Oxford and is currently the Regius Professor and Royal Society Research Professor in Mathematics at Oxford. Marcus du Sautoy and Roger Penrose are both currently mathematics professors, and Jackie Stedall was a professor of the university. Stephen Wolfram, chief designer of Mathematica and Wolfram Alpha studied at the university, along with Tim Berners-Lee, inventor of the World Wide Web, Edgar F. Codd, inventor of the relational model of data, and Tony Hoare, programming languages pioneer and inventor of Quicksort.