About 80 results.

Google Knowledge Graph

Amir Pnueli

Amir Pnueli

Computer scientist

E. Allen Emerson

Computer scientist

  • Desc: Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, United States. He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for the invention and development of Model checking.
  • Wiki: https://en.wikipedia.org/wiki/E._Allen_Emerson
  • Knowledge graph id: kg:/m/03mgvcs
  • Type: Thing, Person
  • Result Score: 21.75
Silvio Micali

Silvio Micali

Computer scientist

  • Desc: Silvio Micali is an Italian computer scientist at MIT Computer Science and Artificial Intelligence Laboratory and a professor of computer science in MIT's Department of Electrical Engineering and Computer Science since 1983.
  • Wiki: https://en.wikipedia.org/wiki/Silvio_Micali
  • Knowledge graph id: kg:/m/04yby4
  • Type: Person, Thing
  • Result Score: 18.07

Shmuel Safra

Israeli computer scientist

  • Desc: Shmuel Safra is an Israeli computer scientist. He is a Professor of Computer Science at Tel Aviv University, Israel. He was born in Jerusalem. Safra's research areas include complexity theory and automata theory.
  • Wiki: https://en.wikipedia.org/wiki/Shmuel_Safra
  • Knowledge graph id: kg:/m/03qczld
  • Type: Person, Thing
  • Result Score: 16.06
Weizmann Institute of Science

Weizmann Institute of Science

Public university in Rehovot, Israel

Andrew Yao

Andrew Yao

Computer scientist

  • Desc: Andrew Chi-Chih Yao is a Chinese computer scientist and computational theorist. He is currently a Professor and the Dean of Institute for Interdisciplinary Information Sciences at Tsinghua University.
  • Wiki: https://en.wikipedia.org/wiki/Andrew_Yao
  • Knowledge graph id: kg:/m/01rqt5
  • Type: Person, Thing
  • Result Score: 15.16

Zohar Manna

Professor

  • Desc: Zohar Manna is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation, one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming.
  • Wiki: https://en.wikipedia.org/wiki/Zohar_Manna
  • Knowledge graph id: kg:/m/033tzw
  • Type: Person, Thing
  • Result Score: 15.15

Manuel Blum

Computer scientist

  • Desc: Manuel Blum is a Venezuelan 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".
  • Wiki: https://en.wikipedia.org/wiki/Manuel_Blum
  • Knowledge graph id: kg:/m/01svdr
  • Type: Person, Thing
  • Result Score: 15.07
Richard E. Stearns

Richard E. Stearns

Computer scientist

  • Desc: Richard Edwin Stearns is a prominent computer scientist who, with Juris Hartmanis, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory".
  • Wiki: https://en.wikipedia.org/wiki/Richard_E._Stearns
  • Knowledge graph id: kg:/m/01sqtx
  • Type: Person, Thing
  • Result Score: 14.91

John Cocke

American computer scientist

  • Desc: John Cocke 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."
  • Wiki: https://en.wikipedia.org/wiki/John_Cocke
  • Knowledge graph id: kg:/m/01r_m_
  • Type: Person, Thing
  • Result Score: 14.84
Adi Shamir

Adi Shamir

Israeli cryptographer

  • Desc: Adi Shamir is an Israeli cryptographer. He is a co-inventor of the RSA algorithm, a co-inventor of the Feige–Fiat–Shamir identification scheme, one of the inventors of differential cryptanalysis and has made numerous contributions to the fields of cryptography and computer science.
  • Wiki: https://en.wikipedia.org/wiki/Adi_Shamir
  • Knowledge graph id: kg:/m/0frrw
  • Type: Person, Thing
  • Result Score: 14.20
Ronald Rivest

Ronald Rivest

Cryptographer

  • Desc: Ronald Linn Rivest is a cryptographer and an Institute Professor at MIT. He is a member of MIT's Department of Electrical Engineering and Computer Science and a member of MIT's Computer Science and Artificial Intelligence Laboratory.
  • Wiki: https://en.wikipedia.org/wiki/Ron_Rivest
  • Knowledge graph id: kg:/m/0htyj
  • Type: Person, Thing
  • Result Score: 12.91
Richard M. Karp

Richard M. Karp

American computer scientist

  • Desc: Richard Manning Karp is an American computer scientist and computational theorist at the University of California, Berkeley. He is most notable for his 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.
  • Wiki: https://en.wikipedia.org/wiki/Richard_M._Karp
  • Knowledge graph id: kg:/m/01rmls
  • Type: Thing, Person
  • Result Score: 12.70
Shafi Goldwasser

Shafi Goldwasser

American-Israeli computer scientist

  • Desc: Shafrira Goldwasser is an American-Israeli computer scientist and winner of the Turing Award in 2012. She is a professor of electrical engineering and computer science at MIT, a professor of mathematical sciences at the Weizmann Institute of Science, Israel, co-founder and chief scientist of Duality Technologies and the director of the Simons Institute for the Theory of Computing in Berkeley, CA.
  • Wiki: https://en.wikipedia.org/wiki/Shafi_Goldwasser
  • Knowledge graph id: kg:/m/03g5ht
  • Type: Person, Thing
  • Result Score: 12.36
John Hopcroft

John Hopcroft

American computer scientist

  • Desc: John Edward Hopcroft is an American theoretical computer scientist. His textbooks on theory of computation and data structures are regarded as standards in their fields.
  • Wiki: https://en.wikipedia.org/wiki/John_Hopcroft
  • Knowledge graph id: kg:/m/01rq9l
  • Type: Person, Thing
  • Result Score: 12.32
Joseph Sifakis

Joseph Sifakis

Computer scientist

  • Desc: Joseph Sifakis is a Greek computer scientist with French citizenship, laureate of the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
  • Wiki: https://en.wikipedia.org/wiki/Joseph_Sifakis
  • Knowledge graph id: kg:/m/03mgvd3
  • Type: Thing, Person
  • Result Score: 12.26
Leslie Valiant

Leslie Valiant

British computer scientist

  • Desc: Leslie Gabriel Valiant FRS is a British computer scientist and computational theorist. He is currently the T. Jefferson Coolidge Professor of Computer Science and Applied Mathematics at Harvard University.
  • Wiki: https://en.wikipedia.org/wiki/Leslie_Valiant
  • Knowledge graph id: kg:/m/08k43q
  • Type: Person, Thing
  • Result Score: 12.24
Leonard Adleman

Leonard Adleman

American computer scientist

  • Desc: Leonard Adleman is an American computer scientist. He is one of the creators of the RSA encryption algorithm, for which he received the 2002 Turing Award, often called the Nobel prize of Computer science.
  • Wiki: https://en.wikipedia.org/wiki/Leonard_Adleman
  • Knowledge graph id: kg:/m/01l2cb
  • Type: Person, Thing
  • Result Score: 12.08
Tony Hoare

Tony Hoare

British computer scientist

  • Desc: Sir Charles Antony Richard Hoare FRS FREng, is a British computer scientist. He developed the sorting algorithm quicksort in 1959/1960.
  • Wiki: https://en.wikipedia.org/wiki/Tony_Hoare
  • Knowledge graph id: kg:/m/09tcw
  • Type: Person, Thing
  • Result Score: 12.02

Alan Perlis

American computer scientist

  • Desc: Alan Jay Perlis was an American computer scientist and professor at Purdue University, Carnegie Mellon University and Yale University. He is best known for his pioneering work in programming languages and was the first recipient of the Turing Award.
  • Wiki: https://en.wikipedia.org/wiki/Alan_Perlis
  • Knowledge graph id: kg:/m/01rtzp
  • Type: Person, Thing
  • Result Score: 11.88

James H. Wilkinson

Mathematician

  • Desc: 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.
  • Wiki: https://en.wikipedia.org/wiki/James_H._Wilkinson
  • Knowledge graph id: kg:/m/01ry6d
  • Type: Person, Thing
  • Result Score: 11.72

Leslie Lamport

American computer scientist

  • Desc: Leslie B. Lamport is an American computer scientist. Lamport is best known for his seminal work in distributed systems and as the initial developer of the document preparation system LaTeX.
  • Wiki: https://en.wikipedia.org/wiki/Leslie_Lamport
  • Knowledge graph id: kg:/m/01bszb
  • Type: Thing, Person
  • Result Score: 11.66
Niklaus Wirth

Niklaus Wirth

Swiss computer scientist

  • Desc: Niklaus Emil Wirth is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering.
  • Wiki: https://en.wikipedia.org/wiki/Niklaus_Wirth
  • Knowledge graph id: kg:/m/05fgl
  • Type: Person, Thing
  • Result Score: 11.62
Turing Award

Turing Award

Award

Robert W. Floyd

Computer scientist

  • Desc: Robert W Floyd was a computer scientist. His contributions include the design of the Floyd–Warshall algorithm, which efficiently finds all shortest paths in a graph, Floyd's cycle-finding algorithm for detecting cycles in a sequence, and his work on parsing.
  • Wiki: https://en.wikipedia.org/wiki/Robert_W._Floyd
  • Knowledge graph id: kg:/m/01r_kf
  • Type: Person, Thing
  • Result Score: 11.31
Juris Hartmanis

Juris Hartmanis

Computer scientist

  • Desc: Juris Hartmanis 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".
  • Wiki: https://en.wikipedia.org/wiki/Juris_Hartmanis
  • Knowledge graph id: kg:/m/01shq9
  • Type: Person, Thing
  • Result Score: 10.95
John L. Hennessy

John L. Hennessy

American computer scientist

  • Knowledge graph id: kg:/m/02h5hkk
  • Type: Person, Thing
  • Result Score: 10.90
Frances E. Allen

Frances E. Allen

American computer scientist

  • Desc: Frances Elizabeth "Fran" Allen is an American computer scientist and pioneer in the field of optimizing compilers. Allen was the first female IBM Fellow and in 2006 became the first woman to win the Turing Award.
  • Wiki: https://en.wikipedia.org/wiki/Frances_E._Allen
  • Knowledge graph id: kg:/m/0285mjh
  • Type: Person, Thing
  • Result Score: 10.83

William Kahan

Canadian mathematician

  • Desc: William "Velvel" Morton Kahan is a Canadian mathematician and computer scientist who received the Turing Award in 1989 for "his fundamental contributions to numerical analysis", was named an ACM Fellow in 1994, and inducted into the National Academy of Engineering in 2005.
  • Wiki: https://en.wikipedia.org/wiki/William_Kahan
  • Knowledge graph id: kg:/m/01s5lr
  • Type: Person, Thing
  • Result Score: 10.79
John Backus

John Backus

American computer scientist

  • Desc: John Warner Backus was an American computer scientist. He directed the team that invented and implemented FORTRAN, the first widely used high-level programming language, and was the inventor of the Backus–Naur form, a widely used notation to define formal language syntax.
  • Wiki: https://en.wikipedia.org/wiki/John_Backus
  • Knowledge graph id: kg:/m/0jd8s
  • Type: Thing, Person
  • Result Score: 10.68
Fred Brooks

Fred Brooks

American software engineer

  • Desc: Frederick Phillips "Fred" Brooks Jr. is an American computer architect, 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.
  • Wiki: https://en.wikipedia.org/wiki/Fred_Brooks
  • Knowledge graph id: kg:/m/032s8
  • Type: Thing, Person
  • Result Score: 10.67
Barbara Liskov

Barbara Liskov

American computer scientist

  • Desc: Barbara Liskov is an American computer scientist who is an Institute Professor at the Massachusetts Institute of Technology and Ford Professor of Engineering in its School of Engineering's electrical engineering and computer science department.
  • Wiki: https://en.wikipedia.org/wiki/Barbara_Liskov
  • Knowledge graph id: kg:/m/056q6j
  • Type: Person, Thing
  • Result Score: 10.47
Charles P. Thacker

Charles P. Thacker

American computer designer

  • Desc: Charles Patrick "Chuck" Thacker was an American pioneer computer designer. He worked on the Xerox Alto, which is the first computer that used a mouse-driven Graphical User Interface.
  • Wiki: https://en.wikipedia.org/wiki/Charles_P._Thacker
  • Knowledge graph id: kg:/m/05vzxh
  • Type: Person, Thing
  • Result Score: 10.44
Peter Naur

Peter Naur

Danish astronomer

  • Desc: Peter Naur was a Danish computer science pioneer and Turing award winner. His last name is the "N" in the BNF notation, used in the description of the syntax for most programming languages.
  • Wiki: https://en.wikipedia.org/wiki/Peter_Naur
  • Knowledge graph id: kg:/m/0g13j
  • Type: Person, Thing
  • Result Score: 10.38

Robert Tarjan

American computer scientist

  • Desc: Robert Endre Tarjan is an American computer scientist and mathematician. He is the discoverer of several graph algorithms, including Tarjan's off-line lowest common ancestors algorithm, and co-inventor of both splay trees and Fibonacci heaps.
  • Wiki: https://en.wikipedia.org/wiki/Robert_Tarjan
  • Knowledge graph id: kg:/m/0chh8
  • Type: Thing, Person
  • Result Score: 10.19
Edmund M. Clarke

Edmund M. Clarke

American computer scientist

  • Desc: Edmund Melson Clarke, Jr. is an American retired computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.
  • Wiki: https://en.wikipedia.org/wiki/Edmund_M._Clarke
  • Knowledge graph id: kg:/m/03mgv9q
  • Type: Person, Thing
  • Result Score: 10.17

Sanctum

Company

  • Desc: Sanctum was the world's first company to focus on Application security. Sanctum invented the Application security space in the mid-'90s with its firewall, AppShield, and scanner, AppScan, foreseeing the need for better application-layer security for Web environments.
  • Wiki: https://en.wikipedia.org/wiki/Sanctum_(company)
  • Knowledge graph id: kg:/m/02nvty4
  • Type: Organization, Thing, Corporation
  • Result Score: 10.13
Judea Pearl

Judea Pearl

American-Israeli computer scientist

  • Desc: Judea Pearl is an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks.
  • Wiki: https://en.wikipedia.org/wiki/Judea_Pearl
  • Knowledge graph id: kg:/m/033w0f
  • Type: Person, Thing
  • Result Score: 10.07

Edgar F. Codd

Computer scientist

  • Desc: Edgar Frank "Ted" Codd was an English computer scientist who, while working for IBM, invented the relational model for database management, the theoretical basis for relational databases and relational database management systems.
  • Wiki: https://en.wikipedia.org/wiki/Edgar_F._Codd
  • Knowledge graph id: kg:/m/0n69y
  • Type: Thing, Person
  • Result Score: 10.06
Edward Feigenbaum

Edward Feigenbaum

Computer scientist

  • Desc: Edward Albert "Ed" Feigenbaum is a computer scientist working in the field of artificial intelligence, and joint winner of the 1994 ACM Turing Award. He is often called the "father of expert systems."
  • Wiki: https://en.wikipedia.org/wiki/Edward_Feigenbaum
  • Knowledge graph id: kg:/m/01sqwf
  • Type: Person, Thing
  • Result Score: 10.00

Robin Milner

British computer scientist

I-Logix

Software company

  • Desc: I-Logix was a leading provider of Collaborative Model driven development solutions for systems design through software development focused on real-time embedded applications.
  • Wiki: https://en.wikipedia.org/wiki/I-Logix
  • Knowledge graph id: kg:/m/0bq7kz
  • Type: Corporation, Organization, Thing
  • Result Score: 9.68
Robert  E. Kahn

Robert E. Kahn

American electrical engineer

  • Desc: Robert Elliot Kahn is an American electrical engineer, who, along with Vint Cerf, invented the Transmission Control Protocol and the Internet Protocol, the fundamental communication protocols at the heart of the Internet.
  • Wiki: https://en.wikipedia.org/wiki/Bob_Kahn
  • Knowledge graph id: kg:/m/01_z5v
  • Type: Person, Thing
  • Result Score: 9.63
Asia University

Asia University

University in Taiwan

David Patterson

David Patterson

American academic

Dov Dori

American computer scientist

  • Desc: Dov Dori is an Israeli-American computer scientist, and Professor of Information Systems Engineering at Technion – Israel Institute of Technology, known for the development of Object Process Methodology.
  • Wiki: https://en.wikipedia.org/wiki/Dov_Dori
  • Knowledge graph id: kg:/m/011qb1_g
  • Type: Person, Thing
  • Result Score: 9.19
Nahalal

Nahalal

Moshav in Israel

Ivan Sutherland

Ivan Sutherland

American computer scientist

  • Desc: Ivan Edward Sutherland is an American computer scientist and Internet pioneer, widely regarded as the "father of computer graphics." His early work in computer graphics as well as his teaching with David C. Evans in that subject at the University of Utah in the 1970s was pioneering in the field. Sutherland, Evans, and his students from that era invented several foundations of modern computer graphics.
  • Wiki: https://en.wikipedia.org/wiki/Ivan_Sutherland
  • Knowledge graph id: kg:/m/0kf33
  • Type: Person, Thing
  • Result Score: 9.17
Dennis Ritchie

Dennis Ritchie

American computer scientist

  • Desc: Dennis MacAlistair Ritchie was an American computer scientist. He created the C programming language and, with long-time colleague Ken Thompson, the Unix operating system.
  • Wiki: https://en.wikipedia.org/wiki/Dennis_Ritchie
  • Knowledge graph id: kg:/m/02933
  • Type: Thing, Person
  • Result Score: 9.10
Butler Lampson

Butler Lampson

American computer scientist

  • Desc: Butler W. Lampson, ForMemRS, is an American computer scientist best known for his contributions to the development and implementation of distributed personal computing.
  • Wiki: https://en.wikipedia.org/wiki/Butler_Lampson
  • Knowledge graph id: kg:/m/0k7__
  • Type: Person, Thing
  • Result Score: 8.95
Marvin Minsky

Marvin Minsky

American scientist

  • Desc: Marvin Lee Minsky was an American cognitive scientist concerned largely with research of artificial intelligence, co-founder of the Massachusetts Institute of Technology's AI laboratory, and author of several texts concerning AI and philosophy.
  • Wiki: https://en.wikipedia.org/wiki/Marvin_Minsky
  • Knowledge graph id: kg:/m/04y_z
  • Type: Person, Thing
  • Result Score: 8.94

David Berlinski

American author

  • Desc: David Berlinski is an American author and academic who opposes the scientific consensus on the theory of evolution. He is a senior fellow of the Discovery Institute's Center for Science and Culture.
  • Wiki: https://en.wikipedia.org/wiki/David_Berlinski
  • Knowledge graph id: kg:/m/05ftxw
  • Type: Person, Thing
  • Result Score: 8.79

Allen Newell

Researcher

  • Desc: Allen Newell was a researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University’s School of Computer Science, Tepper School of Business, and Department of Psychology.
  • Wiki: https://en.wikipedia.org/wiki/Allen_Newell
  • Knowledge graph id: kg:/m/01q5yp
  • Type: Thing, Person
  • Result Score: 8.76

Ole-Johan Dahl

Norwegian computer scientist

  • Desc: Ole-Johan Dahl was a Norwegian computer scientist. Dahl was a professor of computer science at the University of Oslo and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard.
  • Wiki: https://en.wikipedia.org/wiki/Ole-Johan_Dahl
  • Knowledge graph id: kg:/m/0h5hv
  • Type: Person, Thing
  • Result Score: 8.73
Jim Gray

Jim Gray

American computer scientist

  • Desc: James Nicholas Gray was an American computer scientist who received the Turing Award in 1998 "for seminal contributions to database and transaction processing research and technical leadership in system implementation".
  • Wiki: https://en.wikipedia.org/wiki/Jim_Gray_(computer_scientist)
  • Knowledge graph id: kg:/m/01svh3
  • Type: Thing, Person
  • Result Score: 8.63
Ken Thompson

Ken Thompson

Hacker

  • Desc: Kenneth Lane "Ken" Thompson, commonly referred to as ken in hacker circles, is an American pioneer of computer science. Having worked at Bell Labs for most of his career, Thompson designed and implemented the original Unix operating system.
  • Wiki: https://en.wikipedia.org/wiki/Ken_Thompson
  • Knowledge graph id: kg:/m/048kc
  • Type: Person, Thing
  • Result Score: 8.46
Fernando J. Corbató

Fernando J. Corbató

American computer scientist

Dana Scott

Dana Scott

University professor

  • Desc: Dana Stewart Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California.
  • Wiki: https://en.wikipedia.org/wiki/Dana_Scott
  • Knowledge graph id: kg:/m/015gkm
  • Type: Thing, Person
  • Result Score: 8.35
Tim Berners-Lee

Tim Berners-Lee

Computer scientist

Stephen Cook

Stephen Cook

American computer scientist

  • Desc: Stephen Arthur Cook, OC, OOnt is an American-Canadian computer scientist and mathematician who has made major contributions to the fields of complexity theory and proof complexity.
  • Wiki: https://en.wikipedia.org/wiki/Stephen_Cook
  • Knowledge graph id: kg:/m/09tcd
  • Type: Person, Thing
  • Result Score: 8.10
Stanford University

Stanford University

Private university in Stanford, California

  • Desc: Stanford University is a private research university in Stanford, California. Stanford is known for its academic strength, wealth, proximity to Silicon Valley, and ranking as one of the world's top-ten universities.
  • URL: http://www.stanford.edu/
  • Wiki: https://en.wikipedia.org/wiki/Stanford_University
  • Knowledge graph id: kg:/m/06pwq
  • Type: Organization, Thing, MovieTheater, EducationalOrganization, Place, CollegeOrUniversity, Corporation
  • Result Score: 7.92
Alan Kay

Alan Kay

American computer scientist

  • Desc: Alan Curtis Kay is an American computer scientist. He has been elected a Fellow of the American Academy of Arts and Sciences, the National Academy of Engineering, and the Royal Society of Arts.
  • Wiki: https://en.wikipedia.org/wiki/Alan_Kay
  • Knowledge graph id: kg:/m/0q0x
  • Type: Thing, Person
  • Result Score: 7.77
John McCarthy

John McCarthy

American computer scientist

Raj Reddy

Raj Reddy

Former Co-Chair of US President’s Information Technology

  • Desc: Dabbala Rajagopal "Raj" Reddy is an Indian-American computer scientist and a winner of the Turing Award. He is one of the early pioneers of Artificial Intelligence and has served on the faculty of Stanford and Carnegie Mellon for over 40 years.
  • Wiki: https://en.wikipedia.org/wiki/Raj_Reddy
  • Knowledge graph id: kg:/m/01srkj
  • Type: Thing, Person
  • Result Score: 7.72
Vint Cerf

Vint Cerf

American inventor

  • Knowledge graph id: kg:/m/07z23
  • Type: Thing, Person
  • Result Score: 7.62
Martin Hellman

Martin Hellman

American cryptologist

  • Desc: Martin Edward Hellman is an American cryptologist, best known for his invention of public key cryptography in cooperation with Whitfield Diffie and Ralph Merkle.
  • Wiki: https://en.wikipedia.org/wiki/Martin_Hellman
  • Knowledge graph id: kg:/m/026ly0
  • Type: Thing, Person
  • Result Score: 7.50
Whitfield Diffie

Whitfield Diffie

American cryptographer

Michael O. Rabin

Michael O. Rabin

Mathematician

Donald Knuth

Donald Knuth

American computer scientist

  • Desc: Donald Ervin Knuth is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the author of the multi-volume work The Art of Computer Programming.
  • Wiki: https://en.wikipedia.org/wiki/Donald_Knuth
  • Knowledge graph id: kg:/m/0283x
  • Type: Person, Thing
  • Result Score: 7.17

Courant Institute of Mathematical Sciences

University in New York City, New York

Charles Bachman

Charles Bachman

American computer scientist

  • Desc: Charles William Bachman III was an American computer scientist, who spent his entire career as an industrial researcher, developer, and manager rather than in academia.
  • Wiki: https://en.wikipedia.org/wiki/Charles_Bachman
  • Knowledge graph id: kg:/m/01ry7_
  • Type: Person, Thing
  • Result Score: 6.82
Michael Stonebraker

Michael Stonebraker

Computer scientist

  • Knowledge graph id: kg:/m/0594h
  • Type: Thing, Person
  • Result Score: 6.37
Maurice Wilkes

Maurice Wilkes

British computer scientist

  • Desc: Sir Maurice Vincent Wilkes FRS FREng was a British computer scientist who designed and helped build the electronic delay storage automatic calculator, one of the earliest stored program computers and invented microprogramming, a method for using stored-program logic to operate the control unit of a central processing unit's circuits.
  • Wiki: https://en.wikipedia.org/wiki/Maurice_Wilkes
  • Knowledge graph id: kg:/m/02dntw
  • Type: Thing, Person
  • Result Score: 6.33
Kristen Nygaard

Kristen Nygaard

Norwegian computer scientist

Richard Hamming

American mathematician

Douglas Engelbart

Douglas Engelbart

American engineer

  • Desc: Douglas Carl Engelbart was an American engineer and inventor, and an early computer and Internet pioneer. He is best known for his work on founding the field of human–computer interaction, particularly while at his Augmentation Research Center Lab in SRI International, which resulted in creation of the computer mouse, and the development of hypertext, networked computers, and precursors to graphical user interfaces.
  • URL: http://www.dougengelbart.org
  • Wiki: https://en.wikipedia.org/wiki/Douglas_Engelbart
  • Knowledge graph id: kg:/m/027_g
  • Type: Thing, Person
  • Result Score: 5.79
Lee Segel

Lee Segel

Mathematician

  • Knowledge graph id: kg:/m/0g9yd3v
  • Type: Thing, Person
  • Result Score: 5.56
Herbert A. Simon

Herbert A. Simon

Economist

  • Desc: Herbert Alexander Simon was an American economist and political scientist whose primary interest was decision-making within organizations and is best known for the theories of "bounded rationality" and "satisficing".
  • Wiki: https://en.wikipedia.org/wiki/Herbert_A._Simon
  • Knowledge graph id: kg:/m/03pdl
  • Type: Person, Thing
  • Result Score: 5.44
Kenneth E. Iverson

Kenneth E. Iverson

Canadian computer scientist

  • Desc: Kenneth Eugene Iverson was a Canadian computer scientist noted for the development of the programming language APL. He was honored with the Turing Award in 1979 "for his pioneering effort in programming languages and mathematical notation resulting in what the computing field now knows as APL; for his contributions to the implementation of interactive systems, to educational uses of APL, and to programming language theory and practice".
  • Wiki: https://en.wikipedia.org/wiki/Kenneth_E._Iverson
  • Knowledge graph id: kg:/m/01m5mk
  • Type: Person, Thing
  • Result Score: 4.69
Edsger W. Dijkstra

Edsger W. Dijkstra

Essayist

  • Desc: Edsger Wybe Dijkstra was a Dutch systems scientist, programmer, software engineer, science essayist, and early pioneer in computing science. A theoretical physicist by training, he worked as a programmer at the Mathematisch Centrum from 1952 to 1962.
  • Wiki: https://en.wikipedia.org/wiki/Edsger_W._Dijkstra
  • Knowledge graph id: kg:/m/02qn1
  • Type: Person, Thing
  • Result Score: 3.58

Amir Pnueli

Description. Lang: en

Amir Pnueli (Hebrew: אמיר פנואלי‎; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.


Description provided by Wikipedia.

Google Suggest

Search predictions are possible search terms you can use that are related to the terms you’re typing and what other people are searching for.

Entity Index

This is the list of all entities in this result page. Click an entity to go directly to the entity box.

Wiki Authority Control

Authority control is a method of creating and maintaining index terms for bibliographical material in a library catalogue. The links produced by the authority control template on Wikipedia go to authority control data in worldwide library catalogues.
Try searching in other languages: en - it - fr - de - es - pt

This process used 20 ms for its computations It spent 4 ms in system calls .