Best Cmu
Updated Daily
Edmund Clarke was an American computer scientist and professor at Carnegie Mellon University. He co-developed the concept of model checking, an automated technique for verifying hardware and software systems against formal specifications, alongside E. Allen Emerson. Clarke and his students later adv...
Manuel Blum is a Venezuelan-American computer scientist who has served as a professor at the University of California, Berkeley, and Carnegie Mellon University. He made foundational contributions to computational complexity theory by formalizing the axioms of computational complexity and developing...
John C. Reynolds was an American computer scientist who made major contributions to the theory of programming languages. He is best known for co-developing separation logic, a formal method for reasoning about pointer-manipulating programs and mutable memory, and for independently defining the polym...
Takeo Kanade is a Japanese-American computer scientist and roboticist at Carnegie Mellon University, where he directs the Robotics Institute. His pioneering research in computer vision includes foundational algorithms for optical flow, face detection, and the widely used Kanade-Lucas-Tomasi (KLT) fe...
Venkatesan Guruswami is a computer scientist specializing in coding theory, computational complexity, and algorithms. His work with Madhu Sudan on list-decodable codes advanced error-correcting code theory by showing how to decode beyond the traditional error-correction radius. Guruswami serves as a...
Jeannette Wing is an American computer scientist and a professor at Columbia University. She is best known for her 2006 paper that popularized the concept of "computational thinking," which advocates for applying problem-solving methods derived from computer science across all disciplines. She has a...
Lenore Blum is an American mathematician and computer scientist known for co-developing the Blum-Shub-Smale model of computation over the real numbers, which provided a theoretical framework for studying the complexity of continuous numerical computation. She held a faculty position at Carnegie Mell...
Michael Shamos is a computer scientist and attorney at Carnegie Mellon University who specializes in computational geometry, algorithms, and digital law. He is widely recognized for his foundational role in computational geometry, notably co-authoring the textbook "Computational Geometry: An Introdu...
