Check all the winners of National Medal of Science for Mathematics and Computer Science presented under National Medal of Science since 1963 .
Solomon W. Golomb(For pioneering work in shift register sequences that changed the course of communications from analog to digital, and for numerous innovations in reliable and secure space, radar, cellular, wireless, and spread-spectrum communications.) |
Barry Mazur(For original and landmark contributions to differential topology, number theory, and arithmetic algebraic geometry, where, among other applications, his work was foundational to Wiles proof of Fermat Last Theorem, and for his dedication to communicating subtle mathematical ideas to the broader public.) |
Richard A. Tapia(For his pioneering and fundamental contributions in optimization theory and numerical analysis and for his dedication and sustained efforts in fostering diversity and excellence in mathematics and science education.) |
S. R. Srinivasa Varadhan(For his work in probability theory, especially his work on large deviations from expected random behavior, which has revolutionized this field of study during the second half of the twentieth century and become a cornerstone of both pure and applied probability. The mathematical insights he developed have been applied in diverse fields including quantum field theory, population dynamics, finance, econometrics, and traffic engineering.) |
David Mumford(For his contributions to the field of mathematics, which fundamentally changed algebraic geometry, and for connecting mathematics to other disciplines such as computer vision and neurobiology.) |
Leonard Kleinrock(For his fundamental contributions to the mathematical theory of modern data networks, and for the functional specification of packet switching, which is the foundation of Internet technology. His mentoring of generations of students has led to the commercialization of technologies that have transformed the world.) |
Andrew Viterbi(For his development of the maximum-likelihood algorithm for convolutional coding, known as the Viterbi algorithm, and for his contributions to Code Division Multiple Access (CDMA) wireless technology that transformed the theory and practice of digital communications.) |
Hyman Bass(For his fundamental contributions to pure mathematics, especially in the creation of algebraic K-theory, his profound influence on mathematics education, and his service to the mathematics research and education communities.) |
Bradley Efron(For his contributions to theoretical and applied statistics, especially the bootstrap sampling technique; for his extraordinary geometric insight into nonlinear statistical problems; and for applications in medicine, physics, and astronomy.) |
Dennis Sullivan(For his achievements in mathematics, including solving some of the most difficult problems and creating entirely new areas of activity, and for uncovering striking, unexpected connections between seemingly unrelated fields.) |
Carl R. de Boor(For his fundamental contriutions to mathematics that strongly assisted numerical computation in science and engineering.) |
James Glimm(For his original approaches and creative contributions to an array of disciplines in mathematical analysis and mathematical physics, which are fundamental to the theory of operator algebras, shock-wave theory, advanced quantum field theory, quantum statistical mechanics, applied mathematics, and scientific computation) |
C. R. Rao(For his pioneering contributions to the foundations of statistical theory and multivariate statistical methodology, and their applications, enriching the physical, biological, mathematical, economic and engineering sciences.) |
Elias M. Stein(For his contributions to mathematical analysis, especially harmonic analysis, partial differential equations, several complex variables, and representation theory.) |
John G. Thompson(For his profound and lasting contributions to the mathematical sciences, providing fundamental advances for the study of finite simple groups, the inverse Galois problem and connections between group theory and number theory.) |
Karen Uhlenbeck(For her many pioneering contributions to global geometry that resulted in advances in mathematical physics and the theory of partial differential equations. Her research accomplishments are matched by her leadership and passionate involvement in mathematics training and education.) |
Felix Browder(For his pioneering work in nonlinear functional analysis and its applications to partial differential equations, and for leadership in the scientific community.) |
Ronald Coifman(For his fundamental contributions to pure mathematics in the field of harmonic analysis, and for his achievements in the adaptation of that field to the capabilities of the digital computer to produce a family of fast, robust computational tools that have substantially benefited science and technology.) |
Cathleen Synge Morawetz(For her many pioneering contributions to the theory of partial differential equations and wave propagation, that resulted in applications in aerodynamics, acoustics, and optics. Her research accomplishments are matched by her leadership and inspiration, judgment and vision, and knowledge and generosity to colleagues and collaborators.) |
Shing-Tung Yau(For his fundamental contributions in mathematics and physics. Through his work, the understanding of basic geometric differential equations has been changed and he has expanded their role enormously within mathematics.) |
Richard M. Karp(For his pioneering research in theoretical computer science and the development of NP-Completeness, a concept having an important role in the theory and the practice of computation.) |
Stephen Smale(For his pioneering contributions to mathematics in the fields of differential topology and dynamical systems, and for applications to physics, biology, economics, and the theory of computation.) |
Louis Nirenberg(For his fundamental contributions to linear and nonlinear partial differential equations, and applications, particularly in geometry and complex analysis, thus having a decisive impact on the development of mathematics and its applications over a period of years.) |
John Cocke(For his contributions to computer science in the design and theory of compilers, and for major advances in the theory and practice of high-performance computer systems.) |
Martin David Kruskal(For his influence as a leader in nonlinear science for more than two decades as the principal architect of the theory of soliton solutions of nonlinear equations of evolution.) |
Allen Newell(For his seminal contributions to the development of artificial intelligence, the theory of human cognition and the software and hardware of computational systems for complex information processing.) |
Alberto Calderón(For his ground-breaking work on singular integral operators leading to their application to important problems in partial differential equations, including his proof of uniqueness in the Cauchy problem, the Atiyah-Singer index theorem and the propagation of singularities of non-linear equations.) |
George F. Carrier(For his achievement and leadership in the mathematical modeling of significant problems of engineering science and geophysics, and their solution by the application of innovative and powerful analytical techniques.) |
Stephen Cole Kleene(For his leadership in the theory of recursion and effective computability and for developing it into a deep and broad field of mathematical research.) |
John McCarthy(For his fundamental contributions to computer science and artificial intelligence, including the development of the LISP programming language; the mathematical theory of computation; the concept and development of time-sharing; the application of mathematical logic to computer programs that use commonsense knowledge and reasoning; and the naming and thus the definition of the field of artificial intelligence itself.) |
Samuel Karlin(For his broad and remarkable researches in mathematical analysis, probability theory and mathematical statistics, and in the application of these ideas to mathematical economics, mechanics, and population genetics.) |
Saunders Mac Lane(For revolutionizing the language and content of modern mathematics by his collaboration in the creation and development of the fields of homological algebra and category theory, for outstanding contributions to mathematics education, and for incisive leadership of the mathematical and scientific communities.) |
Donald C. Spencer(For his original and insightful research that has had a profound impact on twentieth-century mathematics, and for his role as an inspiring techer to generations fo American mathematicians.) |
Ralph E. Gomory(For his scientific contributions to the mathematics of discrete optimization and its far-reaching influence on information processing; for bringing to a leading position one of industry's most sigificant research establishments; and for his contributions to public and private scientific enterprise.) |
Joseph Keller(For his outstanding contribution to the geometrical theory of diffraction. This is a major extension of geometrical optics which succeeds, after many centuries, in adding the physics of diffraction to the simple ray concepts of optics and of other wave motions.) |
Michael Freedman(For his proof of the Poincare Conjecture in dimension four: a toplogical four-manifold is homeomorphic to S4[4th power] it it is homotopy equivalent to S4 [4th power], one of the greatest achievemnets in mathematics in this century.) |
Raoul Bott(In recognition of his profound studies in the topology of Lie groups and differential geometry over many decades, and in particular for his 'periodicity theorem'.) |
Peter Lax(For his outstanding, innovative and profound contributions to the theory of partial differential equations, applied mathematics, numerical analysis and scientific computation.) |
Antoni Zygmund(For outstanding contributions to Fourier analysis and its applications to partial differential equations and other branches of analysis, and for his creation and leadership of the strongest school of analytical research in the contemporary mathematical world.) |
Isadore Singer(For his inspired revival of differential geometry and its connections to analysis; for his contribution to the discovery and applications of the index theorem for differential operators; and for his leadership in using geometric and topological methods in connection with theoretical physics.) |
Herman Heine Goldstine(For his fundamental contributions to the development of the digital computer, computer programming and numerical analysis.) |
Marshall Harvey Stone(For his original synthesis of analysis, algebra, and topology, the new vital area of functional analysis in modern mathematics.) |
Joseph L. Doob(In recognition of his work on probability and mathematical statistics, characterized by novel and fruitful ideas of a general character that opened new fields of study which began to be transplanted abroad and now are acclaimed worldwide.) |
Donald Knuth(For his significant rsearch into the mathematical analysis and design of efficient computer algorithms and for his profoundly influential books which have codified fundamental knowldge at the core of computer programming.) |
Hassler Whitney(For founding, and bringing to maturity, the discipline of differential topology.) |
Kurt Otto Friedrichs(For bringing the powers of modern mathematics to bear on problems in physics, fluid dynamics, and elasticity.) |
Shiing-Shen Chern(For developing and extending techniques that led to profound discoveries in geometry and topology.) |
John Backus(For his pioneering contributions to computer programming languages, especially development of the FORTRAN language which made the modern digital computer directly available to countless scientists and engineers.) |
George Dantzig(For inventing linear programming and discovering methods that led to wide-scale scientific and technical applications to important problems in logistics, scheduling, and network optimization, and to the use of computers in making efficient use of the mathematical theory.) |
Kurt Gödel(For laying the foundation for today's flourishing study of mathematical logic.) |
John Tukey(For his studies in mathematical and theoretical statistics, particularly his pioneering work on broad analysis and synthesis problems of complex systems, and for his outstanding contributions to the applications of statistics to the physical, social, and engineering sciences.) |
Richard Brauer(For his work on conjectures of Dickson, Cartan, Maschke, and Artin, his introduction of the Brauer group, and his development of the theory of modular representations.) |
William Feller(For original and definitive contributions to pure and applied mathematics, for making probability available to users, and for pioneering work in establishing Mathematical Reviews.) |
Jerzy Neyman(For laying the foundations of modern statistics and devising tests and procedure that have become essential parts of the knowledge of every statistician.) |
Paul Cohen(For epoch-making results in mathematical logic which have enlivened and broadened investigations in the foundation of mathematics.) |
John Milnor(For clever and ingenious approaches in topology which have solved long outstanding problems and opened new exciting areas in this active branch of mathematics.) |
Oscar Zariski(For his creation of a rigorous abstract theory of algebraic geometry, and for his profound influence--especially through many brilliant students--on the algebraic structure of contemporary pure mathematics.) |
Marston Morse(For extraordinary achievement in creating analytic theories in the large, for statesmanship in the world of mathematics, and for distinguished service to his country in war and peace.) |
Solomon Lefschetz(For [his] indomitable leadership in developing mathematics and training mathematicians, for [his] fundamental publications in algebraic geometry and topology, and for stimulating needed research in nonlinear control processes.) |
Norbert Wiener(For his marvellously versatile contributions, profoundly original, ranging within pure and applied mathematics, and penetrating boldly into the engineering and biological sciences.) |
|
