Professor Tony Hey
Tony Hey talking at Pop!Tech 2009
Anthony John Grenville Hey
17 August 1946
|Education||King Edward's School, Birmingham|
|Alma mater||University of Oxford (BA, DPhil)|
|Awards|| ACM Fellow (2017) |
Pinkerton Lecture (2006)
|Thesis||Polarization in electron-proton scattering (1970)|
|Doctoral advisor||P. K. Kabir|
Professor Anthony John Grenville Hey(born 17 August 1946) was Vice-President of Microsoft Research Connections, a division of Microsoft Research, until his departure in 2014.
Hey was educated at King Edward's School, Birminghamand the University of Oxford. He graduated with a Bachelor of Arts degree in physics in 1967, and a Doctor of Philosophy in theoretical physics in 1970 supervised by P. K. Kabir. He was a student of Worcester College, Oxford and St John's College, Oxford.
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.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."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) which became a de facto open standard for parallel scientific computing. In 1998 he was a visiting research fellow at Los Alamos National Laboratory in the USA.
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.Later he became corporate vice-president of external research, and in 2011 corporate vice-president of Microsoft Research Connections until his departure in 2014.
Since 2015, he is a Senior Data Science Fellowat the University of Washington eScience Institute.
Hey is the editor of the journal Concurrency and Computation: Practice and Experience. [ citation needed ]Among other scientific advisory boards in Europe and the United States, he is a member of the Global Grid Forum (GGF) Advisory Committee.
Hey has authored or co-authored a number of books including The Fourth Paradigm: Data-Intensive Scientific Discovery,The Quantum Universe and The New Quantum Universe, The Feynman Lectures on Computation and Einstein's Mirror. Hey has also authored numerous peer-reviewed journal papers. His latest book is a popular book on computer science called The Computing Universe: A Journey through a Revolution.
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.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. In 2006 he presented the prestigious IET Pinkerton Lecture. In 2007 he was awarded an honorary Doctor of Civil Law degree from Newcastle University. In 2017 he was elected a Fellow of the Association for Computing Machinery (ACM).
Computer science is the study of algorithmic processes and computational machines. As a discipline, computer science spans a range of topics from theoretical studies of algorithms, computation and information to the practical issues of implementing computing systems in hardware and software. Computer science addresses any computational problems, especially information processes, such as control, communication, perception, learning, and intelligence.
Edsger Wybe Dijkstra was a Dutch computer scientist, programmer, software engineer, systems scientist, science essayist, and pioneer in computing science. A theoretical physicist by training, he worked as a programmer at the Mathematisch Centrum (Amsterdam) from 1952 to 1962. A university professor for much of his life, Dijkstra held the Schlumberger Centennial Chair in Computer Sciences at the University of Texas at Austin from 1984 until his retirement in 1999. He was a professor of mathematics at the Eindhoven University of Technology (1962–1984) and a research fellow at the Burroughs Corporation (1973–1984). In 1972, he became the first non-American, non-British, and continental European winner of the Turing Award.
Sir Charles Antony Richard Hoare is a British computer scientist. He developed the sorting algorithm quicksort in 1959–1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes and the inspiration for the programming language occam.
Arthur John Robin Gorell Milner, known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.
James Hardy Wilkinson FRS was a prominent figure in the field of numerical analysis, a field at the boundary of applied mathematics and computer science particularly useful to physics and engineering.
David John Wheeler FRS was a computer scientist and professor of computer science at the University of Cambridge.
Jack J. Dongarra ForMemRS; is an 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 in the Computer Science Department at Rice University. He served as a faculty fellow at Texas A&M University's institute for advanced study. Dongarra is the founding director of Innovative Computing Laboratory.
Samson Abramsky FRS, FRSE is a computer scientist who holds the Christopher Strachey Professorship at the Department of Computer Science, University of Oxford. He has made contributions to the areas of domain theory, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, geometry of interaction, game semantics and quantum computing.
In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the final outcome. This allows for parallel execution of the concurrent units, which can significantly improve overall speed of the execution in multi-processor and multi-core systems. In more technical terms, concurrency refers to the decomposability property of a program, algorithm, or problem into order-independent or partially-ordered components or units.
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, codifying the great principles of computing, and most recently for the book The Innovator's Way, on innovation as a set of learnable practices.
Indeterminacy in concurrent computation is concerned with the effects of indeterminacy in concurrent computation. Computation is an area in which indeterminacy is becoming increasingly important because of the massive increase in concurrency due to networking and the advent of many-core computer architectures. These computer systems make use of arbiters which give rise to indeterminacy.
Leslie Gabriel Valiant is a British American computer scientist and computational theorist. He is currently the T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics at Harvard University. Valiant was awarded the A.M. 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 FRS is an Italian computer scientist who is an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, he helped design Modula-3, implemented the first compiler for the (non-pure) functional programming language ML, and defined the concept of typeful programming. He helped develop the Polyphonic C# experimental programming language.
Moshe Ya'akov Vardi is an Israeli mathematician and computer scientist. He is a Professor of Computer Science at Rice University, United States. He is University Professor, the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and Director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.
Kurt Mehlhorn is a German theoretical computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science.
Oscar Peter Buneman, is a British computer scientist who works in the areas of database systems and database theory.
Informatics is the study of natural and engineered computational systems. The central notion is the transformation of information, whether by organisms or artifacts. According to ACM - Informatics Europe joint report "Informatics Education in Europe: Are We All in The Same Boat?", informatics is European equivalent for both computer science and computing as a discipline. In the United States, however, informatics is confused with library science or its applications in healthcare, where the term informatics first appeared in the US. On the other hand, in United Kingdom and Japan the term informatics is associated with study the natural and neural computation. In continental Europe, universities usually translate informatics as computer science, while polytechnics as computer science & engineering.
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.
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."