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...
Alistair Sinclair
Alistair Sinclair (born 1960) is a British computer scientist and computational theorist.Sinclair received his B.A. in Mathematics from St. John’s College, Cambridge in 1979, and his Ph.D. in Computer...
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...
Noam Nisan
Noam Nisan (born 1961) is an Israeli computer scientist, a professor of computer science at the Hebrew University of Jerusalem. He is known for his research in computational complexity theory and algo...
Ken Batcher
Ken Batcher is an emeritus professor of Computer Science at Kent State University. He also worked as a computer architect at Goodyear Aerospace in Akron, Ohio for 28 years. In 1964, Batcher received h...
Albert R. Meyer
Albert Ronald da Silva Meyer (born 1941) is a professor of computer science at Massachusetts Institute of Technology (MIT).
Meyer received his PhD from Harvard University in 1972 in applied mathem...
Hans L. Bodlaender
Hans Leo Bodlaender (born 1960) is a Dutch computer scientist, a professor of computer science at Utrecht University. Bodlaender is known for his work on graph algorithms and in particular for algorit...
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...
Harry R. Lewis
Harry Roy Lewis (born April 19, 1947) is a Gordon McKay Professor of Computer Science and the Director of Undergraduate Studies in Computer Science at Harvard University. He is also a Faculty Associat...
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...
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...
Anna Karlin
Anna R. Karlin is an American computer scientist, the Microsoft Professor of Computer Science & Engineering at the University of Washington.
Karlin was born on March 19, 1960, into an academic...
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
Eli Upfal
Eli Upfal is a computer science researcher currently a professor in the computer science department at Brown University. He completed his undergraduate studies in mathematics and statistics at the Heb...
Victor Pan
Victor Ya. Pan (Russian: Пан Виктор Яковлевич) is a Soviet and American mathematician and computer scientist. He earned his Ph.D. at Moscow University then continued at the Soviet Academy of Scie...
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...
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...
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...
Yossi Matias
Yossi Matias is an Israeli computer scientist, entrepreneur and Google executive.Matias is Vice President, Engineering at Google, working in the Search organization. He is also the managing director o...