edgepedia

Researchers in theoretical computer science, cryptography, quantum computing, graphics, and HCI

263 articles

Harald Weinfurter

Harald Weinfurter is an experimental quantum physicist and professor at LMU Munich since 1999, known for early quantum teleportation, device-independent quantum key distribution, and long-distance entanglement of atoms.

Harold Thimbleby

Harold Thimbleby, born 1955, is a British computer scientist and Emeritus Professor at Swansea University, known for founding the UCL Interaction Centre and for showing that poorly designed medical devices cause unnoticed errors that harm patients.

Iosif Sifakis

Iosif Sifakis (Ιωσήφ Σηφάκης) is a Greek computer scientist, born in Heraklion in 1946, who shared the 2007 Turing Award for developing model checking, the leading industrial verification method.

Irfan Siddiqi

Irfan Siddiqi is a UC Berkeley physics professor and department chair who works on superconducting quantum circuits, quantum measurement, and directs the Advanced Quantum Testbed.

Irit Dinur

Irit Dinur, born 1973 in Jerusalem, is an Israeli theoretical computer scientist known for her combinatorial proof of the PCP theorem and locally testable codes, and a professor at the Institute for Advanced Study.

Isaac L. Chuang

Isaac L. Chuang is a quantum information scientist and MIT professor who performed the first NMR quantum computing demonstrations and co-wrote the field's standard textbook.

J Strother Moore

J Strother Moore is an American computer scientist at the University of Texas at Austin, co-creator of the Boyer–Moore string search algorithm and the ACL2 theorem prover.

Jacques Stern (French cryptographer)

Jacques Stern, born 1949 in Paris, is a French cryptographer and professor at the École Normale Supérieure, called the father of the French school of cryptology and winner of the 2006 CNRS Gold Medal.

Jakub Pachocki

Jakub Pachocki is a Polish computer scientist who has been Chief Scientist at OpenAI since May 2024, succeeding Ilya Sutskever, and helped create the reasoning models o1 and o3.

James D. Foley

James D. Foley is an American computer scientist, Professor and Fleming Chair Emeritus at Georgia Tech, who founded its GVU Center and helped establish the annual SIGGRAPH conferences.

Jefferson Han

Jefferson Y. Han is a research scientist who developed low-cost multi-touch sensing at NYU's Courant Institute and founded Perceptive Pixel, whose touch walls included CNN's Magic Wall.

Jeffrey Ullman

Jeffrey David Ullman is an American computer scientist at Stanford University, co-winner of the 2020 Turing Award and author of influential textbooks on compilers and databases.

Jennifer A. Golbeck

Jennifer A. Golbeck is an American computer scientist and professor at the University of Maryland, known for foundational work on computing trust in web-based social networks and public commentary on privacy and AI.

Jim Blinn

Jim Blinn is a computer graphics pioneer whose techniques, including bump mapping and environment mapping, are standard in animation; he also created the Voyager flyby animations at JPL.

Jin-Yi Cai

Jin-Yi Cai is a theoretical computer scientist at the University of Wisconsin–Madison who works in computational complexity theory, best known for proving dichotomy theorems for counting problems and winning the 2021 Gödel Prize.

Johan Håstad

Johan Torkel Håstad, born 1960, is a Swedish theoretical computer scientist at KTH Royal Institute of Technology, known for the switching lemma and optimal inapproximability results.

John Hopcroft

John Hopcroft, full name John Edward Hopcroft, is an American computer scientist at Cornell University who shared the 1986 Turing Award for achievements in algorithms and data structures.

John Maeda

John Maeda, born 1966 in Seattle, is an American computer scientist, artist, and design executive known for Design by Numbers, his MIT Media Lab work, and STEM-to-STEAM advocacy.

John Tromp

John Tromp (born 1966) is a Dutch computer scientist known for the binary lambda calculus and for determining the number of legal Go positions, about 2.08 × 10^170.

John W. Suurballe

John W. Suurballe is a computer scientist at Bell Telephone Laboratories, best known for his 1974 algorithm finding minimum-total-length node-disjoint paths between two network terminals.

Johnny Lee (computer scientist)

Johnny Chung Lee is an American computer scientist whose Wii Remote hack videos drew over 15 million views and who helped build Kinect's human tracking algorithms.

Jon Kleinberg

Jon Kleinberg is a computer scientist at Cornell University in Ithaca, New York, best known for the HITS algorithm and for work on the algorithmic aspects of the small-world phenomenon.

Joseph F. Traub

Joseph F. Traub (1932–2015) was an American computer scientist who founded Columbia's computer science department, headed Carnegie Mellon's, created information-based complexity, and developed the Jenkins-Traub algorithm.

Joseph Halpern

Joseph Y. Halpern (1953–2026) was a computer scientist at Cornell University who shaped reasoning about knowledge, reasoning about uncertainty, and the formal definition of actual causality.

Joseph S. B. Mitchell

Joseph S. B. Mitchell is an American computer scientist and SUNY Distinguished Professor at Stony Brook University, known for shortest-path algorithms and the 2010 Gödel Prize.

Juris Hartmanis

Juris Hartmanis was a Latvian-born American computer scientist who, with Richard E. Stearns, founded computational complexity theory, won the 1993 ACM Turing Award, and chaired Cornell's computer science department.

Károly Zsolnai-Fehér

Károly Zsolnai-Fehér is a computer graphics researcher with a 2020 PhD from TU Wien, known for Two Minute Papers, a YouTube channel summarizing AI research since 2015.

Katherine Isaacs

Katherine Isaacs, also known as Kate Isaacs, is an American computer scientist and associate professor at the University of Utah who works on interactive visualization of large scientific data.

Kenneth E. Iverson

Kenneth Eugene Iverson (1920–2004) was a Canadian computer scientist who created the APL programming language, later its successor J, and won the 1979 ACM Turing Award.

Kobbi Nissim

Kobbi Nissim is a computer scientist, professor at Georgetown University, and co-introducer of differential privacy, the privacy framework used in the 2020 US Census; he won the 2017 Gödel Prize.