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] |
Anthony John Grenville Hey (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] ,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]
Sir Charles Antony Richard Hoare, also known as C. A. R. 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.
Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation.
David John Wheeler 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 a University Distinguished Professor Emeritus 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 a British computer scientist who is a 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.
Christopher S. Strachey was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design and computer time-sharing. He has also been credited as possibly being the first developer of a video game and for coining terms such as polymorphism and referential transparency that are still widely used by developers today. He was a member of the Strachey family, prominent in government, arts, administration, and academia.
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.
Akinori Yonezawa(born June 17, 1947) is a Japanese computer scientist. Professor Emeritus of the University of Tokyo. Received Ph.D. from the Massachusetts Institute of Technology (MIT). Currently, a senior fellow at the Chiba Institute of Technology, Software Technology and Artificial Intelligence Research Center. Former member of the Science Council of Japan. Specializes in object-oriented programming languages, distributed computing and information security. From its beginning, he contributed to the promotion and development of object-oriented programming, which is the basis of programming languages most commonly used today, and served as a program committee member and chairman of the main international conferences OOPSLA and ECOOP. At the same time, he is internationally known as a pioneer of the concepts and models of “concurrent/parallel objects". In software systems constructed based on concurrent/parallel objects, information processing and computation proceed by concurrent/parallel message passing among a large number of objects. Yonezawa's concurrent (parallel) objects are influenced by Actors, the concept of which was proposed by Carl Hewitt at MIT's AI Lab in the early 1970s and later rigorously formulated by Gul Agha. However, concurrent objects and actors are fundamentally different. An actor is an object that does not have a "state," whereas Yonezawa's concurrent (parallel) object can have a persistent state. For this reason, concurrent (parallel) objects are often used in implementing large parallel processing software systems. Large-scale software systems built and put into practical use based on concurrent (parallel) objects include an online virtual world system Second Life, social networking services such as Facebook and X (Twitter), and large-scale molecular dynamics simulation systems such as NAMD.
Oscar Peter Buneman is a British computer scientist who works in the areas of database systems and database theory.
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".
Geoffrey Charles Fox is a British-born American theoretical physicist and computer scientist known for his contributions to parallel computing, data-intensive computing, and high-performance computing (HPC).
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.