United States, three of the nine incumbent Justices of the Supreme Court are Oxonians, namely Stephen Breyer, Elena Kagan, and Neil Gorsuch; retired Justices include John Marshall Harlan II, David Souter and Byron White. Internationally, Oxonians Sir Humphrey Waldock served in the International Court of Justice; Akua Kuenyehia, sat in the International Criminal Court; Sir Nicolas Bratza and Paul Mahoney sat in the European Court of Human Rights; Kenneth Hayne, Dyson Heydon, as well as Patrick Keane sat in the High Court of Australia; both Kailas Nath Wanchoo, A. N. Ray served as Chief Justices of the Supreme Court of India; Cornelia Sorabji, Oxford's first female law student, was India's first female advocate; in Hong Kong, Aarif Barma, Thomas Au and Doreen Le Pichon currently serve in the Court of Appeal (Hong Kong), while Charles Ching and Henry Litton both served as Permanent Judges of the Court of Final Appeal of Hong Kong; Laurie Ackermann and Edwin Cameron served on South Africa's Constitutional Court; six Puisne Justices of the Supreme Court of Canada and a chief justice of the now defunct Federal Court of Canada were also educated at Oxford. The list of noted legal scholars includes H. L. A. Hart, Ronald Dworkin, Andrew Burrows, Sir Guenter Treitel, Jeremy Waldron, A. V. Dicey, William Blackstone, John Gardner, Robert A. Gorman, Timothy Endicott, Peter Birks, John Finnis, Andrew Ashworth, Joseph Raz, Paul Craig, Leslie Green, Tony Honoré, Neil MacCormick and Hugh Collins. Other distinguished practitioners who have attended Oxford include Lord Pannick Qc, Geoffrey Robertson QC, Amal Clooney, Lord Faulks QC, and Dinah Rose QC. Mathematics and sciences Four Oxford mathematicians, Michael Atiyah, Daniel Quillen, Simon Donaldson and James Maynard, 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. The university is associated with eleven winners of the Nobel Prize in Chemistry, six in physics and sixteen in medicine. Scientists