Kosmix
One sec... we're building your guide for
Theoretical Computer Scientists
Theoretical computer scientists
Overview
Main ›
Tweets
Twitter.com
One sec... we're getting the
Tweets
More from Twitter.com »
Related in the Kosmos
?
Alan Turing
(26)
Turing Award laureates
Turing award
Turing complete
Turing machine
Alan Turing Memorial
Alan Turing Memorial
Automatic Computing Engine
Banburismus
Breaking the Code
Christopher Morcom
Church–Turing thesis
Church–T- uring–Deutsch principle
Computing Machinery and Intelligence
Description number
History of the Church–Turing thesis
National Physical Laboratory (United Kingdom)
Reverse Turing test
Symmetric Turing machine
Turing machine examples
Turing machine gallery
Turing reduction
Turing switch
Turing test
Turing tests
Universal Turing machine
Unorganized machine
Wang B-machine
more...
Theoretical computer science
(9)
Computational complexity theory
European Association for Theoretical Computer Science
Computational theorist
ICALP
SIGACT
SIGACT
Formal methods
FOCS
Quantum computing
Turing machine
more...
Formal sciences
Computer science
Theoretical computer science
Formal methods
Computer science
(9)
Computer scientists
Computer scientist
Algorithms
Online computations and algorithms
Computer science organizations
Computer science organizations
Computer science basic topics
Scientific computing
Computer architecture
Theoretical computer science
more...
Computer science organizations
John von Neumann Computer Society
Association for Computing Machinery
Computer science education
Computer science departments
European Association for Theoretical Computer Science
Computer-related organizations
International Federation for Information Processing
Computer science organizations
John von Neumann Computer Society
Association for Computing Machinery
Gödel Prize laureates
(36)
Alexander Razborov
Alistair Sinclair
Avi Wigderson
Charles Rackoff
Daniel Spielman
Daniel Spielman
Shafi Goldwasser
Carsten Lund
Johan Håstad
Joseph Halpern
László Babai
László Lovász
Madhu Sudan
Manindra Agrawal
Mario Szegedy
Mark Jerrum
Maurice Herlihy
Moshe Y. Vardi
Neeraj Kayal
Neil Immerman
Nir Shavit
Nitin Saxena
Noga Alon
Omer Reingold
Peter Shor
Rajeev Motwani
Robert Schapire
Róbert Szelepcsényi
Salil Vadhan
Sanjeev Arora
Seinosuke Toda
Shang-Hua Teng
Shmuel Safra
Silvio Micali
Steven Rudich
Yoav Freund
Yoram Moses
more...
Theoretical computer scientists
(98)
Amir Pnueli
Christos Papadimitriou
Juris Hartmanis
Manuel Blum
Richard Karp
Richard Karp
Sipser
Umesh Vazirani
Vijay Vazirani
Alan Frieze
Alan M. Frieze
Alan turing
Albert R. Meyer
Alexander Razborov
Alfred Aho
Alistair Sinclair
Allan Borodin
Avi Wigderson
Carsten Lund
Cynthia Dwork
Dan Hirschberg
Dana Randall
David E. Goldberg
David Peleg (scientist)
David S. Johnson
Dexter Kozen
E. G. Coffman
Eli Upfal
Endre Szemerédi
F. Thomson Leighton
Franco P. Preparata
Gary Miller (professor)
Gheorghe Paun
Gustave Solomon
Harry Mairson
Harry R. Lewis
Janusz Brzozowski (computer scientist)
Jeffrey Lagarias
John Koza
John Reif
Juraj Hromkovič
János Komlós (mathematician)
Larry Stockmeyer
Leslie Valiant
Li Huatian
Lov Grover
Luca Trevisan
László Babai
Madhu Sudan
Marek Karpinski
Mario Szegedy
Mark Jerrum
Michael Fellows
Michael Fredman
Michael Garey
Michael J. Fischer
Michael Luby
Michael O. Rabin
Mihalis Yannakakis
Mike Paterson
Miklós Ajtai
Moni Naor
Nick Pippenger
Nigel Horspool
Oded Goldreich
Omer Reingold
Paul Vitanyi
Peter Shor
R. C. T. Lee
Rafail Ostrovsky
Rajeev Motwani
Ran Libeskind-Hadas
Ran Raz
Researchers in geometric algorithms
Richard Cleve
Richard J. Lipton
Ronald V. Book
Róbert Szelepcsényi
S. Rao Kosaraju
Salil Vadhan
Sanjeev Arora
Scott Aaronson
Seymour Ginsburg
Shafi Goldwasser
Sheila Greibach
Shlomi Dolev
Shmuel Safra
Shmuel Winograd
Shmuel Zaks
Silvio Micali
Subhash Kak
Susanne Albers
Uzi Vishkin
Vaughan Pratt
Victor Pan
Victor Shoup
Volker Strassen
Wilfried Brauer
Zvi Galil
more...
American computer scientists
(8)
Alan Kay
Alan Perlis
Daniel Spielman
Manuel Blum
Christos Papadimitriou
Christos Papadimitriou
Amir Pnueli
Shafi Goldwasser
Richard Karp
more...
Turing Award laureates
(55)
Allen Newell
Andrew Chi-Chih Yao
Adi Shamir
Alan Kay
Alan Perlis
Alan Perlis
Amir Pnueli
Barbara Liskov
Bob Kahn
Butler Lampson
C. A. R. Hoare
Charles Bachman
Dana Scott
Dennis Ritchie
Donald Knuth
Douglas Engelbart
E. Allen Emerson
Edgar F. Codd
Edmund M. Clarke
Edsger W. Dijkstra
Edward Feigenbaum
Fernando J. Corbató
Frances E. Allen
Fred Brooks
Herbert Simon
Ivan Sutherland
James H. Wilkinson
Jim Gray (computer scientist)
John Backus
John Cocke
John Hopcroft
John McCarthy (computer scientist)
Joseph Sifakis
Juris Hartmanis
Ken Thompson
Kenneth E. Iverson
Kristen Nygaard
Leonard Adleman
Manuel Blum
Marvin Minsky
Maurice Wilkes
Michael O. Rabin
Niklaus Wirth
Ole-Johan Dahl
Peter Naur
Raj Reddy
Richard Hamming
Richard Karp
Richard Stearns (computer scientist)
Robert Floyd
Robert Tarjan
Robin Milner
Ron Rivest
Stephen Cook
Vint Cerf
William Kahan
more...
Computational complexity theory
Computational problems
Combinatorial optimization
Interactive proof systems
Polynomial time
Analysis of algorithms
Quantum computing
Israeli computer scientists
(33)
Abraham Lempel
Adi Shamir
Amir Pnueli
Andi Gutmans
Andrei Broder
Andrei Broder
Avi Wigderson
Boris Trakhtenbrot
Dan Boneh
Daniel M. Lewin
David Harel
David Peleg (scientist)
Dorit Aharonov
Ehud Shapiro
Eli Biham
Jacob Ziv
Judea Pearl
Micha Sharir
Michael O. Rabin
Miron Livny
Moni Naor
Mordechai Ben-Ari
Moshe Y. Vardi
Oded Goldreich
Ori Allon
Ron Kimmel
Shafi Goldwasser
Shimon Even
Shimon Ullman
Shlomi Dolev
Udi Manber
Uzi Vishkin
Zeev Suraski
Zvi Galil
more...
See also
(20)
Jacek Karpinski
James W. Cooley
Mathematicians
Semaphore (programming)
Knuth Prize laureates
Knuth Prize laureates
People
LANL Research Library
20th century mathematicians
Fellows of the Association for Computing Machinery
History of computing
Timeline of algorithms
Combinatorics
DIMACS
Discrete mathematics
Analysis of algorithms
Probabilistically checkable proofs
Legal aspects of computing
British computer scientists
History of computing hardware
STOC
more...
more categories...
