About 78 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: Person, Thing
  • Result Score: 19.80
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.39
Weizmann Institute of Science

Weizmann Institute of Science

Public university in Rehovot, Israel

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: Thing, Person
  • Result Score: 15.41
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.11
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: 15.01

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: Thing, Person
  • Result Score: 14.94

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: 14.76
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.19

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.09
Shafi Goldwasser

Shafi Goldwasser

American-Israeli computer scientist

  • Desc: Shafrira Goldwasser is an American-Israeli computer scientist. She is a professor of electrical engineering and computer science at MIT, and a professor of mathematical sciences at the Weizmann Institute of Science, Israel.
  • Wiki: https://en.wikipedia.org/wiki/Shafi_Goldwasser
  • Knowledge graph id: kg:/m/03g5ht
  • Type: Person, Thing
  • Result Score: 13.85
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.81
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: Person, Thing
  • Result Score: 12.60
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.53
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.36
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.23
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.13
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: Thing, Person
  • Result Score: 12.00

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.82
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.72

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: Thing, Person
  • Result Score: 11.70
Turing Award

Turing Award

Award

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: Person, Thing
  • Result Score: 11.41

Robert W. Floyd

Computer scientist

  • Desc: Robert W Floyd was an eminent 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.32
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.87
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. Her achievements include seminal work in compilers, code optimization, and parallelization.
  • Wiki: https://en.wikipedia.org/wiki/Frances_E._Allen
  • Knowledge graph id: kg:/m/0285mjh
  • Type: Person, Thing
  • Result Score: 10.81

William Kahan

Mathematician

  • Desc: William "Velvel" Morton Kahan is a 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: Thing, Person
  • Result Score: 10.73
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.63
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: Thing, Person
  • Result Score: 10.48
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: Person, Thing
  • Result Score: 10.45
Butler Lampson

Butler Lampson

American computer scientist

  • Desc: Butler W. Lampson is an American computer scientist contributing to the development and implementation of distributed, personal computing. He is a Technical Fellow at Microsoft and an adjunct professor at MIT.
  • Wiki: https://en.wikipedia.org/wiki/Butler_Lampson
  • Knowledge graph id: kg:/m/0k7__
  • Type: Person, Thing
  • Result Score: 10.39

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: Thing, Person
  • Result Score: 10.31

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, Thing, Organization
  • Result Score: 10.25
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.16
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.04
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: 9.99
Asia University

Asia University

University in Taiwan

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: Person, Thing
  • Result Score: 9.97

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: Person, Thing
  • Result Score: 9.95

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:/g/11c54n8_5p
  • Type: Thing, Corporation, Organization
  • Result Score: 9.72

Robin Milner

British computer scientist

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: 9.65
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.47

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.14
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: Person, Thing
  • Result Score: 9.09
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: 8.97
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: Thing, Person
  • Result Score: 8.82

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: Person, Thing
  • Result Score: 8.75
Tim Berners-Lee

Tim Berners-Lee

Computer scientist

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.58
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: Person, Thing
  • Result Score: 8.43
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.34
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: Person, Thing
  • Result Score: 8.32
Fernando J. Corbató

Fernando J. Corbató

American computer scientist

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.13
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: 8.02
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: Thing, Person
  • Result Score: 7.93
Stanford University

Stanford University

Private university in Stanford, California

  • Desc: Stanford University is a private research university in Stanford, California, in Silicon Valley, 20 miles outside of San Jose. Due to its academic strength, wealth, and proximity to Silicon Valley it is often cited as one of the world's most prestigious universities.
  • URL: http://www.stanford.edu/
  • Wiki: https://en.wikipedia.org/wiki/Stanford_University
  • Knowledge graph id: kg:/m/06pwq
  • Type: Thing, Organization, Corporation, Place, EducationalOrganization, MovieTheater, CollegeOrUniversity
  • Result Score: 7.88
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.70
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: Person, Thing
  • Result Score: 7.67
John McCarthy

John McCarthy

American computer scientist

Vint Cerf

Vint Cerf

American inventor

  • Knowledge graph id: kg:/m/07z23
  • Type: Thing, Person
  • Result Score: 7.56
Michael O. Rabin

Michael O. Rabin

Computer scientist

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.36
Whitfield Diffie

Whitfield Diffie

American cryptographer

  • Desc: Bailey Whitfield 'Whit' Diffie is an American cryptographer and one of the pioneers of public-key cryptography. Diffie and Martin Hellman's 1976 paper New Directions in Cryptography introduced a radically new method of distributing cryptographic keys, that helped solve key distribution—a fundamental problem in cryptography.
  • Wiki: https://en.wikipedia.org/wiki/Whitfield_Diffie
  • Knowledge graph id: kg:/m/02786t
  • Type: Thing, Person
  • Result Score: 7.13

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: Thing, Person
  • Result Score: 6.77
Michael Stonebraker

Michael Stonebraker

Computer scientist

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

Maurice Wilkes

British computer scientist

  • Desc: Sir Maurice Vincent Wilkes FRS FREng was a British computer scientist credited with several important developments in computing. At the time of his death, Wilkes was an Emeritus Professor of the University of Cambridge.
  • Wiki: https://en.wikipedia.org/wiki/Maurice_Wilkes
  • Knowledge graph id: kg:/m/02dntw
  • Type: Person, Thing
  • Result Score: 6.27
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.65
Lee Segel

Lee Segel

Mathematician

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

Herbert A. Simon

Political scientist

  • Desc: Herbert Alexander Simon was an American political scientist, economist, sociologist, psychologist, and computer scientist whose research ranged across the fields of cognitive psychology, cognitive science, computer science, public administration, economics, management, philosophy of science, sociology, and political science, unified by studies of decision-making.
  • Wiki: https://en.wikipedia.org/wiki/Herbert_A._Simon
  • Knowledge graph id: kg:/m/03pdl
  • Type: Thing, Person
  • Result Score: 5.38
Kenneth E. Iverson

Kenneth E. Iverson

Canadian computer scientist

  • Desc: Kenneth Eugene Iverson was a Canadian computer scientist noted for the development of the APL programming language. 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: Thing, Person
  • Result Score: 3.96
Edsger W. Dijkstra

Edsger W. Dijkstra

Essayist

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 48 ms for its computations It spent 36 ms in system calls .