Kolmogorov Medal | |
---|---|
Awarded for | Life-long contributions to one of the fields initiated by Kolmogorov |
First awarded | 2003 |
Website | kolmogorov |
The Kolmogorov Medal is a prize awarded to distinguished researchers with life-long contributions to one of the fields initiated by Andrey Kolmogorov.
The Kolmogorov Medal was first awarded in 2003 to celebrate 100 years since the birth of Kolmogorov. The recipient is invited to deliver a lecture at the Centre for Reliable Machine Learning of Royal Holloway, University of London. Early lectures were published in The Computer Journal.
The following people have received the Kolmogorov Medal: [1]
Year | Name | Lecture |
---|---|---|
2003 | Ray Solomonoff | The Universal Distribution and Machine Learning [paper 1] |
2004 | Leonid Levin | Aperiodic Tilings: Breaking Translational Symmetry [paper 2] |
2005 | Per Martin-Löf | 100 years of Zermelo's axiom of choice: what was the problem with it? [paper 3] |
2006 | Jorma Rissanen | The Structure Function and Distinguishable Models of Data [paper 4] |
2007 | Yakov Sinai | Renormalization Group Method in Probability Theory and Theory of Dynamical Systems [2] |
2010 | Robert C. Merton | Observations on the Science of Finance in the Practice of Finance: Past, Present, and Future [3] [4] |
2018 | Vladimir Vapnik | Rethinking Statistical Learning Theory: Learning Using Statistical Invariants [5] |
The LEO was a series of early computer systems created by J. Lyons and Co. The first in the series, the LEO I, was the first computer used for commercial business applications.
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in computer science and is colloquially known as or often referred to as the "Nobel Prize of Computing".
Robert Cox Merton is an American economist, Nobel Memorial Prize in Economic Sciences laureate, and professor at the MIT Sloan School of Management, known for his pioneering contributions to continuous-time finance, especially the first continuous-time option pricing model, the Black–Scholes–Merton model. In 1997 Merton together with Myron Scholes were awarded the Bank of Sweden Prize in Economic Sciences in Memory of Alfred Nobel for the method to determine the value of derivatives.
Vladimir Naumovich Vapnik is a computer scientist, researcher, and academic. He is one of the main developers of the Vapnik–Chervonenkis theory of statistical learning and the co-inventor of the support-vector machine method and support-vector clustering algorithms.
Minimum message length (MML) is a Bayesian information-theoretic method for statistical model comparison and selection. It provides a formal information theory restatement of Occam's Razor: even when models are equal in their measure of fit-accuracy to the observed data, the one generating the most concise explanation of data is more likely to be correct. MML was invented by Chris Wallace, first appearing in the seminal paper "An information measure for classification". MML is intended not just as a theoretical construct, but as a technique that may be deployed in practice. It differs from the related concept of Kolmogorov complexity in that it does not require use of a Turing-complete language to model data.
CPL is a multi-paradigm programming language developed in the early 1960s. It is an early ancestor of the C language via the BCPL and B languages.
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. He was a member of the Strachey family, prominent in government, arts, administration, and academia.
In the relational data model a superkey is a set of attributes that uniquely identifies each tuple of a relation. Because superkey values are unique, tuples with the same superkey value must also have the same non-key attribute values. That is, non-key attributes are functionally dependent on the superkey.
Autocode is the name of a family of "simplified coding systems", later called programming languages, devised in the 1950s and 1960s for a series of digital computers at the Universities of Manchester, Cambridge and London. Autocode was a generic term; the autocodes for different machines were not necessarily closely related as are, for example, the different versions of the single language Fortran.
The Electrologica X1 was a digital computer designed and manufactured in the Netherlands from 1958 to 1965. About thirty were produced and sold in the Netherlands and abroad.
In mathematical optimization, the Rosenbrock function is a non-convex function, introduced by Howard H. Rosenbrock in 1960, which is used as a performance test problem for optimization algorithms. It is also known as Rosenbrock's valley or Rosenbrock's banana function.
An anonymizer or an anonymous proxy is a tool that attempts to make activity on the Internet untraceable. It is a proxy server computer that acts as an intermediary and privacy shield between a client computer and the rest of the Internet. It accesses the Internet on the user's behalf, protecting personal information of the user by hiding the client computer's identifying information. Anonymous proxy is the opposite of transparent proxy, which sends user information in the connection request header.
The Turing Talk, previously known as the Turing Lecture, is an annual award lecture delivered by a noted speaker on the subject of Computer Science. Sponsored and co-hosted by the Institution of Engineering and Technology (IET) and the British Computer Society, the talk has been delivered at different locations in the United Kingdom annually since 1999. Venues for the talk have included Savoy Place, the Royal Institution in London, Cardiff University, The University of Manchester, Belfast City Hall and the University of Glasgow. The main talk is preluded with an insight speaker, who performs an opening act to the main event.
Margaret H. Wright is an American computer scientist and mathematician. She is a Silver Professor of Computer Science and former Chair of the Computer Science department at Courant Institute of Mathematical Sciences, New York University, with research interests in optimization, linear algebra, and scientific computing. She was elected to the National Academy of Engineering in 1997 for development of numerical optimization algorithms and for leadership in the applied mathematics community. She was elected to the National Academy of Sciences in 2005. She was the first woman to serve as President of the Society for Industrial and Applied Mathematics.
Alfred Jack Cole was a professor at the School of Computer Science, University of St. Andrews in Scotland. He is credited with building on the establishing of Computer Science at St Andrews.
Bonnie Anne Berger is an American mathematician and computer scientist, who works as the Simons professor of mathematics and professor of electrical engineering and computer science at the Massachusetts Institute of Technology. Her research interests are in algorithms, bioinformatics and computational molecular biology.
Longbing Cao is an AI and data science researcher at the University of Technology Sydney, Australia. His broad research interest involves artificial intelligence, data science, behavior informatics, and their enterprise applications.
Roger Mead was an English statistician and Emeritus Professor of Applied Statistics at the University of Reading. He is known for his paper with John Nelder on the widely-used Nelder–Mead method and for his work on statistical methods for agriculture and the design of experiments. He was made an Honorary Life Member of the International Biometric Society in 2014.
John Kenneth Iliffe was a British computer designer who worked on the design and evaluation of computers that supported fine-grained memory protection and object management. He implemented, evaluated and refined such designs in the Rice Institute Computer, R1 (1958–61) and the ICL Basic Language Machine (1963–68). A key feature in the architectures of both machines was control by the hardware of the formation and use of memory references so that the memory could be seen as a collection of data objects of defined sizes whose integrity is protected from the consequences of errors in address calculation, such as overrunning memory pointers.
Dudley W. Hooper MA FCA was a British businessman in the UK National Coal Board (NCB) and an early President of the British Computer Society (BCS). He was an accountant and an early promoter of electronic data processing (EDP).