Theoretical computer science
•
Theorists
•
Mathematical science occupations
•
Computer scientists by field of research
Theoretical computer scientists
Formal methods people
•
Researchers in geometric algorithms
Alan Turing - Home Page
Alan Turing - Info
Formal methods people
Researchers in geometric algorithms
Subhash Kak
Subhash Kak (Hindi: सुभाष काक; Subhāṣ Kāk) (born March 26, 1947 in Srinagar, Kashmir) is an Indian American computer scientist. He is Regents Professor and a previous Head of Computer Science Depa...
Juris Hartmanis
Juris Hartmanis (born July 5, 1928) 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...
Juris Hartmanis - Wikipedia
Shmuel Zaks
Schmuel Zaks (born 1949) is a computer scientist and mathematician who works in the fields of distributed computing and computer networks. He is a professor at Technion – Israel Institute of Technolog...
Richard Cleve
Richard Erwin Cleve is a professor of computer science at the David R. Cheriton School of Computer Science at the University of Waterloo, where he holds the Institute for Quantum Computing Chair in qu...
Richard J. Lipton
Richard Jay "Dick" Lipton (born September 6, 1946) is an American computer scientist who has worked in computer science theory, cryptography, and DNA computing. Lipton is Associate Dean of Research, P...
Ran Raz
Ran Raz (Hebrew: רָן רָז) is a computer scientist who works in the area of computational complexity theory. He is a professor in the faculty of mathematics and computer science at the Weizm...
Ran Raz - Wikipedia
John Watrous (computer scientist)
John Harrison Watrous is a professor of computer science at the David R. Cheriton School of Computer Science at the University of Waterloo, a member of the Institute for Quantum Computing, an affiliat...
David Shmoys
David Bernard Shmoys (born 1959) is a Professor in the School of Operations Research and Information Engineering and the Department of Computer Science at Cornell University. He obtained his Ph.D. fro...
Allan Borodin
Allan Bertram Borodin (born 1941) is a retired Canadian-American computer science lecturer based at the University of Toronto where he taught computer science and social and economic networks.
Bo...
János Komlós (mathematician)
János Komlós (Budapest, 23 May 1942) is a Hungarian-American mathematician, working in probability theory and discrete mathematics. He has been a professor of mathematics at Rutgers University since 1...
Alfred Aho
Alfred Vaino Aho (born August 9, 1941) is a Canadian computer scientist best known for his work on programming languages, compilers, and related algorithms, and his textbooks on the art and science of...
Erik Demaine
Erik D. Demaine (born February 28, 1981) is a professor of Computer Science at the Massachusetts Institute of Technology and a former child prodigy.
Demaine was born in Halifax, Nova Scotia. His p...
Erik Demaine - Wikipedia
Iterative method
In computational mathematics, an iterative method is a mathematical procedure that generates a sequence of improving approximate solutions for a class of problems. A specific implementation of an iter...
Iterative method - Wikipedia
Richart E. Slusher
Richart Elliott Slusher (born 1938) is a Regents Researcher and a Principal Research Scientist at the Georgia Tech Research Institute, and the director of the Georgia Tech Quantum Institute.
Slush...
Anne Condon
Anne Elizabeth Condon is an Irish-Canadian computer scientist, professor, and head of the UBC Computer Science Department. Her research focuses on computational complexity theory, DNA computing, and b...
Mihai Pătraşcu
Michael O. Rabin
Michael Oser Rabin (Hebrew: מִיכָאֵל עוזר רַבִּין, born September 1, 1931), is an Israeli computer scientist and a recipient of the Turing Award.
Rabin was born in 1931 in Breslau, Germany ...
Michael O. Rabin - Wikipedia
Jeffrey Lagarias
Jeffrey Clark Lagarias (born November, 1949 in Pittsburgh, Pennsylvania, USA) is a mathematician and professor at the University of Michigan.
While in high school in 1966, Lagarias studied astrono...
David Luenberger
David G. Luenberger (born in 1937) is a mathematical scientist known for his research and his textbooks, which center on mathematical optimization. He is a professor in the department of Management Sc...
László Babai
László (Laci) Babai (born July 20, 1950 in Budapest) is a Hungarian professor of mathematics and computer science at the University of Chicago. His research focuses on computational complexity theory,...
László Babai - Wikipedia
Uriel Feige
Uriel Feige (Hebrew: אוריאל פייגה) is an Israeli computer scientist who was a doctoral student of Adi Shamir.
Uriel Feige currently holds the post of Professor at the Department of Computer...
Ran Libeskind-Hadas
Ran Libeskind-Hadas is a professor of Computer Science at Harvey Mudd College. His research interests lie in the fields of algorithm design and analysis and complexity theory, but focus more specifica...
Eli Shamir
Eliahu (Eli) Shamir (Hebrew: אליהו שמיר) is an Israeli mathematician and computer scientist, the Jean and Helene Alfassa Professor Emeritus of Computer Science at the Hebrew University of J...
Narendra Karmarkar
Narendra Krishna Karmarkar (born 1957) is an Indian mathematician, who developed Karmarkar's algorithm. He is listed as an ISI highly cited researcher.
Narendra Karmarkar was born in a Maharashtr...
Juraj Hromkovič
Juraj Hromkovič - Wikipedia
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 quan...
Peter Shor - Wikipedia