Professor Tony Hey | |
---|---|
Born | Anthony John Grenville Hey 17 August 1946 [1] [2] England, UK |
Nationality | British |
Education | King Edward's School, Birmingham |
Alma mater | University of Oxford (BA, DPhil) [1] |
Awards | ACM Fellow (2017) [3] Pinkerton Lecture (2006) |
Scientific career | |
Fields | |
Institutions | |
Thesis | Polarization in electron-proton scattering (1970) |
Doctoral advisor | P. K. Kabir [5] |
Professor Anthony John Grenville Hey CBE FREng FIET FInstP FBCS (born 17 August 1946) [1] was vice-president of Microsoft Research Connections, a division of Microsoft Research, until his departure in 2014. [4] [6] [7] [8] [9]
Hey was educated at King Edward's School, Birmingham [1] and the University of Oxford. He graduated with a Bachelor of Arts degree in physics in 1967, and a Doctor of Philosophy in theoretical physics [5] in 1970 supervised by P. K. Kabir. He was a student of Worcester College, Oxford and St John's College, Oxford. [1]
From 1970 through 1972 Hey was a postdoctoral fellow at California Institute of Technology (Caltech). Moving to Pasadena, California, he worked with Richard Feynman and Murray Gell-Mann, both winners of the Nobel Prize in Physics. [10] He then moved to Geneva, Switzerland and worked as a fellow at CERN (the European organisation for nuclear research) for two years. Hey worked about thirty years as an academic at University of Southampton, starting in 1974 as a particle physicist. He spent 1978 as a visiting fellow at Massachusetts Institute of Technology. For 1981 he returned to Caltech as a visiting research professor. There he learned of Carver Mead's work on very-large-scale integration and become interested in applying parallel computing techniques to large-scale scientific simulations.
Hey worked with British semiconductor company Inmos on the Transputer project in the 1980s. He switched to computer science in 1985, and in 1986 became professor of computation in the Department of Electronics and Computer Science at Southampton. While there, he was promoted to Head of the School of Electronics and Computer Science in 1994 and Dean of Engineering and Applied Science in 1999. Among his work was "doing research on Unix with tools like LaTeX." [11] In 1990 he was a visiting fellow at the Thomas J. Watson Research Center of IBM Research. He then worked with Jack Dongarra, Rolf Hempel and David Walker, to define the Message Passing Interface (MPI) [12] which became a de facto open standard for parallel scientific computing. [13] In 1998 he was a visiting research fellow at Los Alamos National Laboratory in the USA. [14]
Hey led the UK's e-Science Programme from March 2001 to June 2005. He was appointed corporate vice-president of technical computing at Microsoft on 27 June 2005. [15] Later he became corporate vice-president of external research, and in 2011 corporate vice-president of Microsoft Research Connections until his departure in 2014. [16]
Since 2015, Hey has held the position of Chief Data Scientist at the UK's Science and Technology Facilities Council, [17] and is a Senior Data Science Fellow [18] at the University of Washington eScience Institute.
Hey is the editor of the journal Concurrency and Computation: Practice and Experience. [19] [20] Among other scientific advisory boards in Europe and the United States, he is a member of the Global Grid Forum (GGF) Advisory Committee.[ citation needed ]
Hey has authored or co-authored a number of books including The Fourth Paradigm: Data-Intensive Scientific Discovery, [21] The Quantum Universe [22] and The New Quantum Universe, [23] The Feynman Lectures on Computation [24] [25] and Einstein's Mirror. [26] Hey has also authored numerous peer-reviewed journal papers. [4] [6] [7] [8] [27] [28] [29] [30] His latest book is a popular book on computer science called The Computing Universe: A Journey through a Revolution. [31]
Hey had an open scholarship to Worcester College, Oxford, from 1963 to 1967, won the Scott Prize for Physics in 1967, senior scholarship to St John's College, Oxford, in 1968 and was a Harkness Fellow from 1970 through 1972. [2] Hey was made a Commander of the Order of the British Empire (CBE) in 2005. He was elected a Fellow of the British Computer Society (FBCS) in 1996, the Institute of Physics (FInstP) and the Institution of Electrical Engineers in 1996 and the Royal Academy of Engineering (FREng) in 2001. [2] In 2006 he presented the prestigious IET Pinkerton Lecture. In 2007 he was awarded an honorary Doctor of Civil Law degree from Newcastle University. [10] In 2017 he was elected a Fellow of the Association for Computing Machinery (ACM). [3]
Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines. Though more often considered an academic discipline, computer science is closely related to computer programming.
Sir Charles Antony Richard Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.
A Connection Machine (CM) is a member of a series of massively parallel supercomputers that grew out of doctoral research on alternatives to the traditional von Neumann architecture of computers by Danny Hillis at Massachusetts Institute of Technology (MIT) in the early 1980s. Starting with CM-1, the machines were intended originally for applications in artificial intelligence (AI) and symbolic processing, but later versions found greater success in the field of computational science.
Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, formal language theory, the lambda calculus and type theory.
David John Wheeler FRS was a computer scientist and professor of computer science at the University of Cambridge.
Jack Joseph Dongarra is an American computer scientist and mathematician. He is the American University Distinguished Professor of Computer Science in the Electrical Engineering and Computer Science Department at the University of Tennessee. He holds the position of a Distinguished Research Staff member in the Computer Science and Mathematics Division at Oak Ridge National Laboratory, Turing Fellowship in the School of Mathematics at the University of Manchester, and is an adjunct professor and teacher in the Computer Science Department at Rice University. He served as a faculty fellow at the Texas A&M University Institute for Advanced Study (2014–2018). Dongarra is the founding director of the Innovative Computing Laboratory at the University of Tennessee. He was the recipient of the Turing Award in 2021.
Samson Abramsky is Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.
Peter James Denning is an American computer scientist and writer. He is best known for pioneering work in virtual memory, especially for inventing the working-set model for program behavior, which addressed thrashing in operating systems and became the reference standard for all memory management policies. He is also known for his works on principles of operating systems, operational analysis of queueing network systems, design and implementation of CSNET, the ACM digital library, and codifying the great principles of computing. He has written numerous influential articles and books, including an overview of fundamental computer science principles, computational thinking, and his thoughts on innovation as a set of learnable practices.
Ian Tremere Foster is a New Zealand-American computer scientist. He is a distinguished fellow, senior scientist, and director of the Data Science and Learning division at Argonne National Laboratory, and a professor in the department of computer science at the University of Chicago.
Leslie Gabriel Valiant is a British American computer scientist and computational theorist. He was born to a chemical engineer father and a translator mother. He is currently the T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics at Harvard University. Valiant was awarded the Turing Award in 2010, having been described by the A.C.M. as a heroic figure in theoretical computer science and a role model for his courage and creativity in addressing some of the deepest unsolved problems in science; in particular for his "striking combination of depth and breadth".
Luca Andrea Cardelli is an Italian computer scientist who is a research professor at the University of Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, in programming languages, he helped design the language Modula-3, implemented the first compiler for the (non-pure) functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#.
Neil Gunther is a computer information systems researcher best known internationally for developing the open-source performance modeling software Pretty Damn Quick and developing the Guerrilla approach to computer capacity planning and performance analysis. He has also been cited for his contributions to the theory of large transients in computer systems and packet networks, and his universal law of computational scalability.
Michael Burrows, FRS is a British computer scientist and the creator of the Burrows–Wheeler transform, currently working for Google. Born in Britain, as of 2018 he lives in the United States, although he remains a British citizen.
Yuri Gurevich, Professor Emeritus at the University of Michigan, is an American computer scientist and mathematician and the inventor of abstract state machines.
Jennifer Tour Chayes is dean of the college of computing, data science, and society at the University of California, Berkeley. Before joining Berkeley, she was a technical fellow and managing director of Microsoft Research New England in Cambridge, Massachusetts, which she founded in 2008, and Microsoft Research New York City, which she founded in 2012.
Francine Berman is an American computer scientist, and a leader in digital data preservation and cyber-infrastructure. In 2009, she was the inaugural recipient of the IEEE/ACM-CS Ken Kennedy Award "for her influential leadership in the design, development and deployment of national-scale cyberinfrastructure, her inspiring work as a teacher and mentor, and her exemplary service to the high performance community". In 2004, Business Week called her the "reigning teraflop queen".
Anne Elizabeth Trefethen FREng is Pro Vice-Chancellor, and professor of Scientific Computing at the University of Oxford. She is a fellow of St Cross College. Her work in industry and academia focuses on numerical algorithms and software, computational science and high-performance computing.
Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI).
Anthony C. Hearn is an Australian-American computer scientist and adjunct staff member at RAND Corporation and at the Institute for Defense Analyses Center for Computing Sciences. He is best known for his pioneering contributions in mathematical software development, most notably in developing the computer algebra system REDUCE, which is the oldest such system still in active use. He was also one of the founders of the CSNET computer network, for which he shared the Jonathan B. Postel Service Award with Peter J. Denning, David Farber, and Lawrence Landweber in 2009. He was elected a Fellow of the Association for Computing Machinery in 2006 "for contributions to computer algebra and symbolic computation." He got an honorary doctorate from the University of Erlangen–Nuremberg in Germany on 30 November 2012
Paul Anthony Benioff was an American physicist who helped pioneer the field of quantum computing. Benioff was best known for his research in quantum information theory during the 1970s and 80s that demonstrated the theoretical possibility of quantum computers by describing the first quantum mechanical model of a computer. In this work, Benioff showed that a computer could operate under the laws of quantum mechanics by describing a Schrödinger equation description of Turing machines. Benioff's body of work in quantum information theory encompassed quantum computers, quantum robots, and the relationship between foundations in logic, math, and physics.