Branches of Mathematics

Pure mathematics

• Algebra
• Calculus
• Geometry
• Topology
• Trignometry
• Combinatorics
• Logic
• Number theory

Applied mathematics

• Dynamical systems and differential equations
• Mathematical physics
• Computing
• Information theory and signal processing
• Probability and statistics
• Game theory
• Operations research

Related Topics

• Electromagnetic Spectrum
• Linear Equations
• Applied Physics
• Nano Technology
• Engineering Sciences
• Mathematical Medicine
• Fluid dynamics
• Computational Mathematics
• Gamma Ray Optics
• Onfrared Optics
• Relative Velocity
• Iciam
• Intelligent Imaging Neuroscience
• Biomedical Engineering
• Neuroscience Research
• Quantum Cosmology
• Brain Research

fullscreen

• Ackermann function
• ACM Fellow
• Adi Shamir
• Alan Kay
• Alan Perlis
• Alexander Razborov
• Allen Newell
• Alma mater
• Amir Pnueli
• Andrew Yao
• Astronomer
• Avi Wigderson
• Bachelor's degree
• Barbara Liskov
• Bob Kahn
• Bruno Buchberger
• Butler Lampson
• California
• Charles Bachman
• Charles P. Thacker
• Computer Science
• Computer scientist
• Corinna Cortes
• Cornell University
• Dana Scott
• Daniel Sleator
• Daniel Spielman
• Dennis Ritchie
• Doctor of Philosophy
• Donald Knuth
• Douglas Engelbart
• E. Allen Emerson
• Edgar F. Codd
• Edmund M. Clarke
• Edsger W. Dijkstra
• Edward Feigenbaum
• Eugene Myers
• Fernando J. Corbató
• Fibonacci heap
• Frances E. Allen
• Fred Brooks
• Gerard J. Holzmann
• Graph theory
• Hanan Samet
• Herbert A. Simon
• Hewlett-Packard
• Ivan Sutherland
• Jacob Ziv
• James H. Wilkinson
• James S. McDonnell
• John Backus
• John Cocke
• John Hopcroft
• Jon Kleinberg
• Joseph Sifakis
• Judea Pearl
• Juris Hartmanis
• Ken Thompson
• Kenneth E. Iverson
• Kenneth L. McMillan
• Kristen Nygaard
• Kurt Mehlhorn
• Leonard Adleman
• Leslie Valiant
• Madhu Sudan
• Manuel Blum
• Martin Gardner
• Martin Hellman
• Marvin Minsky
• Master's degree
• Mathematics
• Maurice Wilkes
• Michael O. Rabin
• Mihir Bellare
• Moshe Y. Vardi
• Narendra Karmarkar
• Nevanlinna Prize
• New York University
• Niklaus Wirth
• Ole-Johan Dahl
• Peter Franaszek
• Peter Naur
• Peter Shor
• Phillip Rogaway
• Pierre Wolper
• Planarity testing
• Pomona, California
• Princeton University
• Raj Reddy
• Ralph Merkle
• Randal Bryant
• Richard Hamming
• Richard Karp
• Robert Brayton
• Robert Floyd
• Robert Kurshan
• Robert M. Solovay
• Robert Schapire
• Robert Tarjan
• Robert W. Floyd
• Robin Milner
• Ron Rivest
• Scientific American
• Splay tree
• Stanford University
• Stephen Cook
• Tony Hoare
• Turing Award
• United States
• Vint Cerf
• Vladimir Vapnik
• Volker Strassen
• Whitfield Diffie
• Wikipedia Persondata
• William Kahan
• Yoav Freund
• 
  

• 
  California
  California (pronounced ) is the most populous state in the United States and the third-largest by land area, after Alaska and Texas. California is also the most populous sub-national entity in North America. It's on the U.S. West Coast, bordered by the Pacific Ocean to the west and by the states of Oregon to the north, Nevada to the east, Arizona to the southeast, Baja California, Mexico, to the south. Its 5 largest cities are Los Angeles, San Diego, San Jose, San Francisco, and Long Beach, with Los Angeles, San Diego, and San Jose each having at least 1 million residents. Like many populous states, California's capital, Sacramento is smaller than the state's largest city, Los Angeles. The state is home to the nation's 2nd- and 6th-largest census statistical areas and 8 of the nation's 50 most populous cities. California has a varied climate and geography and a multi-cultural population.
  http://wn.com/California
• 
  Cornell University
  Cornell University (, {{respell|kor-) is an Ivy League university located in Ithaca, New York. It is a private land-grant university which receives funding from the State of New York for certain educational missions.
  http://wn.com/Cornell_University
• 
  New York University
  New York University (NYU) is a private, nonsectarian research university based in New York City. NYU's main campus is situated in the Greenwich Village section of Manhattan. Founded in 1831, NYU is the largest private, nonprofit institution of higher education in the United States.
  http://wn.com/New_York_University
• 
  Pomona, California
  Pomona is the fifth largest city in Los Angeles County, California (after Los Angeles, Long Beach, Glendale, and Santa Clarita).
  http://wn.com/Pomona_California
• 
  Princeton University
  Princeton University is a private research university located in Princeton, New Jersey, United States. The school is one of the eight universities of the Ivy League, and is one of the nine Colonial Colleges founded before the American Revolution.
  http://wn.com/Princeton_University
• 
  Stanford University
  The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is a private research university located in Stanford, California, United States. The university is located on an campus in northwestern Santa Clara Valley approximately southeast of San Francisco and approximately northwest of San Jose.
  http://wn.com/Stanford_University
• 
  United States
  The United States of America (also referred to as the United States, the U.S., the USA, or America) is a federal constitutional republic comprising fifty states and a federal district. The country is situated mostly in central North America, where its forty-eight contiguous states and Washington, D.C., the capital district, lie between the Pacific and Atlantic Oceans, bordered by Canada to the north and Mexico to the south. The state of Alaska is in the northwest of the continent, with Canada to the east and Russia to the west across the Bering Strait. The state of Hawaii is an archipelago in the mid-Pacific. The country also possesses several territories in the Caribbean and Pacific.
  http://wn.com/United_States

• 
  Adi Shamir
  Adi Shamir (; born July 6, 1952) is an Israeli cryptographer. He is one of the inventors of the RSA algorithm (along with Ron Rivest and Len Adleman), one of the inventors of the Feige-Fiat-Shamir Identification Scheme (along with Uriel Feige and Amos Fiat), one of the inventors of differential cryptanalysis and has made numerous contributions to the fields of cryptography and computer science.
  http://wn.com/Adi_Shamir
• 
  Alan Kay
  Alan Curtis Kay (born May 17, 1940) is an American computer scientist, known for his early pioneering work on object-oriented programming and windowing graphical user interface design, and for coining the phrase, "The best way to predict the future is to invent it."
  http://wn.com/Alan_Kay
• Alan Perlis
  Alan Jay Perlis (April 1, 1922 – February 7, 1990) was an American computer scientist known for his pioneering work in programming languages and the first recipient of the Turing Award.
  http://wn.com/Alan_Perlis
• Alexander Razborov
  http://wn.com/Alexander_Razborov
• Allen Newell
  http://wn.com/Allen_Newell
• Amir Pnueli
  http://wn.com/Amir_Pnueli
• 
  Andrew Yao
  Andrew Chi-Chih Yao () is a prominent computer scientist and computational theorist. Yao used the minimax theorem to prove what is now known as Yao's Principle.
  http://wn.com/Andrew_Yao
• Avi Wigderson
  Avi Wigderson () is an Israeli mathematician and computer scientist, a professor of mathematics at the Institute for Advanced Study in Princeton. His research interests include complexity theory, parallel algorithms, graph theory, cryptography, distributed computing, and neural networks.
  http://wn.com/Avi_Wigderson
• Barbara Liskov
  Barbara Liskov (born Barbara Jane Huberman in 1939) is a computer scientist. She is currently the Ford Professor of Engineering in the MIT School of Engineering's Electrical Engineering and Computer Science department and an Institute Professor at the Massachusetts Institute of Technology. She earned her BA in mathematics at the University of California, Berkeley in 1961. In 1968 Stanford University made her the first woman in the United States to be awarded a Ph.D. from a computer science department. The topic of her Ph.D. thesis was a computer program to play chess end games.
  http://wn.com/Barbara_Liskov
• 
  Bob Kahn
  Robert Elliot Kahn (born December 23, 1938) is an Internet pioneer,engineer and computer scientist who, along with Vinton G. Cerf, invented the Transmission Control Protocol (TCP) and the Internet Protocol (IP), the fundamental communication protocols at the heart of the Internet.
  http://wn.com/Bob_Kahn
• 
  Butler Lampson
  Butler W. Lampson (born 1943) is a renowned computer scientist.
  http://wn.com/Butler_Lampson
• Charles Bachman
  Charles William "Charlie" Bachman (born December 11, 1924) is an American computer scientist, who spent his entire career as an industrial researcher rather than in academia. He is particularly known for his work in the area of databases.
  http://wn.com/Charles_Bachman
• Daniel Sleator
  Daniel Dominic Kaplan Sleator is a professor of computer science at Carnegie Mellon University. He discovered amortized analysis and he invented many data structures with Robert Tarjan, such as splay trees, link/cut trees, and skew heaps. He also pioneered the theory of link grammars and developed the technique of competitive analysis for online algorithms. Because of his contribution in computer science, he won Paris Kanellakis Award in 1999.
  http://wn.com/Daniel_Sleator
• 
  Dennis Ritchie
  Dennis MacAlistair Ritchie (username: dmr, born September 9, 1941) is an American computer scientist notable for his influence on C and other programming languages, and on operating systems such as Multics and Unix. He received the Turing Award in 1983 and the National Medal of Technology 1998 on April 21, 1999. Ritchie was the head of Lucent Technologies System Software Research Department when he retired in 2007.
  http://wn.com/Dennis_Ritchie
• 
  Donald Knuth
  Donald Ervin Knuth () (born January 10, 1938) is a computer scientist and Professor Emeritus of the Art of Computer Programming at Stanford University.
  http://wn.com/Donald_Knuth
• Douglas Engelbart
  http://wn.com/Douglas_Engelbart
• E. Allen Emerson
  Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA.
  http://wn.com/E_Allen_Emerson
• Edgar F. Codd
  http://wn.com/Edgar_F_Codd
• 
  Edmund M. Clarke
  Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developing
  http://wn.com/Edmund_M_Clarke
• Edsger W. Dijkstra
  http://wn.com/Edsger_W_Dijkstra
• Edward Feigenbaum
  Edward Albert Feigenbaum (born January 20, 1936; Weehawken, New Jersey) is a computer scientist working in the field of artificial intelligence. He is often called the "father of expert systems."
  http://wn.com/Edward_Feigenbaum
• Eugene Myers
  Eugene Wimberly Myers, Jr. is an American computer scientist and bioinformatician, who is best known for his development of the NCBI's BLAST tool for sequence analysis. His 1990 paper (with Stephen Altschul and others) describing BLAST has received over 24000 citations making it among the most highly cited papers ever. He is currently a group leader at the Janelia Farm research campus (JFRC) of the Howard Hughes Medical Institute. Before joining the Janelia Farm, he was a member of the faculty of the University of Arizona, the Vice President of Informatics Research at Celera Genomics (where he developed bioinformatics techniques for sequencing the human,mouse and Drosophila genomes) and a member of the faculty at UC Berkeley.
  http://wn.com/Eugene_Myers
• Fernando J. Corbató
  http://wn.com/Fernando_J_Corbató
• 
  Fred Brooks
  Frederick Phillips Brooks, Jr. (born April 19, 1931) is a software engineer and computer scientist, best-known for managing the development of IBM's System/360 family of computers and the OS/360 software support package, then later writing candidly about the process in his seminal book The Mythical Man-Month. Brooks has received many awards in his lifetime, including the National Medal of Technology in 1985 and the Turing Award in 1999.
  http://wn.com/Fred_Brooks
• 
  Gerard J. Holzmann
  Gerard J. Holzmann (born 1951) is an American computer scientist, best known as the developer of the SPIN model checker.
  http://wn.com/Gerard_J_Holzmann
• Herbert A. Simon
  http://wn.com/Herbert_A_Simon
• Ivan Sutherland
  Ivan Edward Sutherland (born 1938 in Hastings, Nebraska) is an American computer scientist and Internet pioneer. He received the Turing Award from the Association for Computing Machinery in 1988 for the invention of Sketchpad, an early predecessor to the sort of graphical user interface that has become ubiquitous in personal computers.
  http://wn.com/Ivan_Sutherland
• 
  Jacob Ziv
  Jacob Ziv (; born 1931) is an Israeli computer scientist who, along with Abraham Lempel, developed the lossless LZ77 compression algorithm.
  http://wn.com/Jacob_Ziv
• James H. Wilkinson
  James Hardy Wilkinson (27 September 1919 – 5 October 1986) 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.
  http://wn.com/James_H_Wilkinson
• James S. McDonnell
  http://wn.com/James_S_McDonnell
• John Backus
  http://wn.com/John_Backus
• John Cocke
  John Cocke (May 30, 1925 – July 16, 2002) was an American computer scientist recognized for his large contribution to computer architecture and optimizing compiler design. He is considered by many to be "the father of RISC architecture."
  http://wn.com/John_Cocke
• John Hopcroft
  John Edward Hopcroft (born October 7, 1939) is an American theoretical computer scientist. His textbooks on theory of computation (also known as the Cinderella book) and data structures are regarded as standards in their fields. He is the IBM Professor of Engineering and Applied Mathematics in Computer Science at Cornell University.[http://www.cs.cornell.edu/jeh/]
  http://wn.com/John_Hopcroft
• 
  Jon Kleinberg
  Jon Michael Kleinberg (born October 1971) is an American computer scientist, MacArthur Fellow, Nevanlinna Prize winner, and the Tisch University Professor of Computer Science at Cornell University.
  http://wn.com/Jon_Kleinberg
• Joseph Sifakis
  Joseph Sifakis () is a Greek-French computer scientist, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
  http://wn.com/Joseph_Sifakis
• Judea Pearl
  Judea Pearl (born 1936) is a computer scientist and philosopher, best known for developing the probabilistic approach to artificial intelligence and the development of Bayesian networks (see the article on belief propagation).
  http://wn.com/Judea_Pearl
• Juris Hartmanis
  Juris Hartmanis (born July 5, 1928 in Riga, Latvia) is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory".
  http://wn.com/Juris_Hartmanis
• 
  Ken Thompson
  Ken Thompson (born February 4, 1943), commonly referred to as ken in hacker circles, is an American pioneer of computer science notable for his work with the B programming language and his shepherding of the Unix and Plan 9 operating systems. Most recently Thompson is also the co-creator of Google's programming language Go.
  http://wn.com/Ken_Thompson
• Kenneth E. Iverson
  Kenneth Eugene Iverson (17 December 1920 - 19 October 2004) was a Canadian computer scientist noted for the development of the APL programming language in 1962. He was honored with the Turing Award in 1979 for his contributions to mathematical notation and programming language theory. The Iverson Award for contributions to APL was named in his honor.
  http://wn.com/Kenneth_E_Iverson
• Kristen Nygaard
  http://wn.com/Kristen_Nygaard
• Kurt Mehlhorn
  Kurt Mehlhorn (born August 29, 1949 in Ingolstadt, Germany) is a German computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science.
  http://wn.com/Kurt_Mehlhorn
• 
  Leonard Adleman
  Leonard Max Adleman (born December 31, 1945) is a theoretical computer scientist and professor of computer science and molecular biology at the University of Southern California. He is known for being a co-inventor of the RSA (Rivest-Shamir-Adleman) cryptosystem in 1977, and of DNA computing. RSA is in widespread use in security applications, including https.
  http://wn.com/Leonard_Adleman
• 
  Leslie Valiant
  Leslie Gabriel Valiant (born 28 March 1949) is a British computer scientist and computational theorist.
  http://wn.com/Leslie_Valiant
• Madhu Sudan
  Madhu Sudan () (born September 12, 1966) is an Indian computer scientist, professor of computer science at the Massachusetts Institute of Technology (MIT) and a member of MIT Computer Science and Artificial Intelligence Laboratory.
  http://wn.com/Madhu_Sudan
• Manuel Blum
  Manuel Blum (born 26 April 1938 in Caracas, Venezuela) is a computer scientist who received the Turing Award in 1995 "In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking".
  http://wn.com/Manuel_Blum
• 
  Martin Gardner
  Martin Gardner (October 21, 1914May 22, 2010) was an American mathematics and science writer specializing in recreational mathematics, but with interests encompassing micromagic, stage magic, literature (especially the writings of Lewis Carroll), philosophy, scientific skepticism, and religion. He wrote the Mathematical Games column in Scientific American from 1956 to 1981, the Notes of a Fringe-Watcher column in Skeptical Inquirer from 1983 to 2002, and published over 70 books.
  http://wn.com/Martin_Gardner
• 
  Martin Hellman
  Martin Edward Hellman (born October 2, 1945) is a cryptologist, and is best known for his invention of public key cryptography in cooperation with Whitfield Diffie and Ralph Merkle. Hellman is a long-time contributor to the computer privacy debate and is more recently known for promoting risk analysis studies on nuclear threats, including the [http://nuclearrisk.org NuclearRisk.org] website.
  http://wn.com/Martin_Hellman
• 
  Marvin Minsky
  Marvin Lee Minsky (born August 9, 1927) is an American cognitive scientist in the field of artificial intelligence (AI), co-founder of Massachusetts Institute of Technology's AI laboratory, and author of several texts on AI and philosophy.
  http://wn.com/Marvin_Minsky
• 
  Maurice Wilkes
  Sir Maurice Vincent Wilkes DFBCS FREng FRS (born June 26, 1913) is a British computer scientist credited with several important developments in computing.
  http://wn.com/Maurice_Wilkes
• 
  Michael O. Rabin
  :For the violinist, see Michael Rabin (violinist).
  http://wn.com/Michael_O_Rabin
• Mihir Bellare
  Mihir Bellare is a cryptographer at the University of California, San Diego. He has published several seminal papers in the field of cryptography (notably in the area of provable security), many coauthored with Phillip Rogaway. Bellare has published a number of papers in the field of Format-Preserving Encryption. His students include Michel Abdalla, Chanathip Namprempre and Tadayoshi Kohno.
  http://wn.com/Mihir_Bellare
• 
  Moshe Y. Vardi
  '''Moshe Ya'akov Vardi''' () is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering and Director of the [http://www.citi.rice.edu/ Computer and Information Technology Institute]. 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 a renowned expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.
  http://wn.com/Moshe_Y_Vardi
• Narendra Karmarkar
  Narendra K. Karmarkar (born 1957) is an Indian mathematician, renowned for developing Karmarkar's algorithm. He is listed as an ISI highly cited researcher.
  http://wn.com/Narendra_Karmarkar
• 
  Niklaus Wirth
  Niklaus Emil Wirth (born February 15, 1934) is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering. In 1984 he won the Turing Award for developing a sequence of innovative computer languages.
  http://wn.com/Niklaus_Wirth
• Ole-Johan Dahl
  Ole-Johan Dahl (October 12, 1931 – June 29, 2002) was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard.
  http://wn.com/Ole-Johan_Dahl
• 
  Peter Naur
  Peter Naur (born October 25, 1928) is a Danish pioneer in computer science and Turing award winner. His last name is the N in the BNF notation (Backus-Naur form), used in the description of the syntax for most programming languages. He contributed to the creation of the ALGOL 60 programming language.
  http://wn.com/Peter_Naur
• 
  Peter Shor
  Peter Williston Shor (born August 14, 1959) is an American professor of applied mathematics at MIT, most famous for his work on quantum computation, in particular for devising Shor's algorithm, a quantum algorithm for factoring exponentially faster than the best currently-known algorithm running on a classical computer.
  http://wn.com/Peter_Shor
• Phillip Rogaway
  Phillip Rogaway is a professor of computer science at the University of California, Davis. He graduated with an BA in computer science from UC Berkeley and completed his PhD in cryptography at MIT, in the Theory of Computation group. He has taught at UC Davis since 1994.
  http://wn.com/Phillip_Rogaway
• Raj Reddy
  Dabbala Rajagopal "Raj" Reddy (born June 13, 1937) is one of the early pioneers in Computer Science and Artificial Intelligence and served on the faculty of Stanford and Carnegie Mellon University (CMU) for over 40 years. He was the founding Director of the Robotics Institute and the Dean of the School of Computer Science (SCS) at CMU. He was instrumental in helping to create Rajiv Gandhi University of Knowledge Technologies in India, to cater to the educational needs of the low income, gifted rural youth. He is also the Chairman of International Institute of Information Technology, Hyderabad.
  http://wn.com/Raj_Reddy
• Ralph Merkle
  Ralph C. Merkle (born February 2, 1952) is a researcher in public key cryptography, and more recently a researcher and speaker on molecular nanotechnology and cryonics. Merkle appears in the science fiction novel The Diamond Age, involving nanotechnology.
  http://wn.com/Ralph_Merkle
• 
  Richard Hamming
  Richard Wesley Hamming (Chicago, February 11, 1915 – Monterey, California, January 7, 1998) was an American mathematician whose work had many implications for computer science and telecommunications. His contributions include the Hamming code (which makes use of a Hamming matrix), the Hamming window (described in Section 5.8 of his book Digital Filters), Hamming numbers, Sphere-packing (or hamming bound) and the Hamming distance.
  http://wn.com/Richard_Hamming
• Richard Karp
  Richard Manning Karp (born 1935) is a computer scientist and computational theorist at the University of California, Berkeley, notable for research in the theory of algorithms, for which he received a Turing Award in 1985, The Benjamin Franklin Medal in Computer and Cognitive Science in 2004, and the Kyoto Prize in 2008.
  http://wn.com/Richard_Karp
• Robert Floyd
  Robert W Floyd (June 8, 1936 – September 25, 2001) was an eminent computer scientist.
  http://wn.com/Robert_Floyd
• 
  Robert M. Solovay
  Robert Martin Solovay (1938 – ) is a set theorist and professor. Among his most noted accomplishments are Solovay's theorem showing (relative to the existence of an inaccessible cardinal) that the statement "every set of real numbers is Lebesgue measurable" is consistent with ZF without the axiom of choice, and isolating the notion of 0#. He proved that the existence of a real valued measurable cardinal is equiconsistent with the existence of a measurable cardinal. He also proved that if \lambda is a strong limit singular cardinal, greater than a strongly compact cardinal then 2^\lambda=\lambda^+ holds. In another important result he proved that if \kappa is an uncountable regular cardinal, and S\subseteq\kappa is a stationary set, then S can be decomposed into the union of \kappa disjoint stationary sets.
  http://wn.com/Robert_M_Solovay
• Robert Schapire
  Robert Elias Schapire is a professor and researcher in the computer science department at Princeton University. His primary specialty is theoretical and applied machine learning.
  http://wn.com/Robert_Schapire
• 
  Robert Tarjan
  Robert Endre Tarjan (born April 30, 1948) is a renowned American computer scientist. He is the discoverer of several important graph algorithms, including Tarjan's off-line least common ancestors algorithm, and co-inventor of both splay trees and Fibonacci heaps. Tarjan is currently the James S. McDonnell Distinguished University Professor of Computer Science at Princeton University, and is also a Senior Fellow at Hewlett-Packard.
  http://wn.com/Robert_Tarjan
• Robert W. Floyd
  http://wn.com/Robert_W_Floyd
• Robin Milner
  'Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner', born 13 January 1934 near Plymouth, died 20 March 2010 in Cambridge) was a prominent British computer scientist.
  http://wn.com/Robin_Milner
• Ron Rivest
  Ronald Linn Rivest (born 1947, Schenectady, New York) is a cryptographer. He is the Andrew and Erna Viterbi Professor of Computer Science at MIT's Department of Electrical Engineering and Computer Science (EECS) and a member of MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). He is a member of the Election Assistance Commission's Technical Guidelines Development Committee, tasked with assisting the EAC in drafting the Voluntary Voting System Guidelines.
  http://wn.com/Ron_Rivest
• 
  Stephen Cook
  Stephen Arthur Cook (December 14, 1939, Buffalo, New York) is a renowned American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity. He is currently a University Professor at the University of Toronto, Department of Computer Science and Department of Mathematics.
  http://wn.com/Stephen_Cook
• Tony Hoare
  http://wn.com/Tony_Hoare
• 
  Vint Cerf
  Vinton Gray "Vint" Cerf (; born June 23, 1943) is an American computer scientist who is recognized as one of
  http://wn.com/Vint_Cerf
• Vladimir Vapnik
  http://wn.com/Vladimir_Vapnik
• 
  Volker Strassen
  Volker Strassen (born April 29, 1936) is a German mathematician, a professor emeritus in the department of mathematics and statistics at the University of Konstanz.
  http://wn.com/Volker_Strassen
• 
  Whitfield Diffie
  '''Bailey Whitfield 'Whit' Diffie''' (born June 5, 1944) is a US cryptographer and one of the pioneers of public-key cryptography.
  http://wn.com/Whitfield_Diffie
• William Kahan
  William Morton Kahan (born June 5, 1933, in Toronto, Ontario, Canada) is a mathematician and computer scientist who received the Turing Award in 1989 for "his fundamental contributions to numerical analysis", and was named an ACM Fellow in 1994.
  http://wn.com/William_Kahan
• Yoav Freund
  Yoav Freund is a researcher and professor at the University of California, San Diego who mainly works on machine learning, probability theory and related fields and applications.
  http://wn.com/Yoav_Freund