Michael Franz

Pioneer in mobile code and dynamic compilation, Franz led the Secure Systems and Languages Laboratory at the University of California, Irvine — one of the top research teams on dynamic compilation, virtual...

Patrick Cousot

Co-inventor of Abstract Interpretation, a theory of sound approximation of mathematical structures, Cousot developed this influential technique in formal methods together with his wife Radhia in 1975. In the 2000s, he worked...

Derek Gehl

Internet marketing strategist, software developer, and e-commerce columnist and seminar speaker, Gehl has been a featured contributor to a number of industry publications, including Entrepreneur Magazine, MSNBC Small Business, and AOL Small...

Bruce D. Shriver

Worldwide lecturer in the design and implementation of computer hardware and software systems, Shriver has been a computer science academic, consultant, and entrepreneur in the area of high-performance computer systems, publishing extensively...

Tim Roughgarden

Noted for his work in network data loss, Roughgarden introduced novel techniques that quantified the lost efficiency associated with the uncoordinated behavior of network users who acted in their own self-interest, building...

Ida Rhodes

A member of the influential circle of women at the heart of early computer development in the United States, Rhodes was an American mathematician who shaped the field during its foundational years.

Kara Swisher

Among the earliest journalists to cover the business of the internet, Swisher has reported on the technology industry since 1994. In 2014, she co-founded Recode with Walt Mossberg as part of Vox...

Oleg Vishnepolsky

Author of IBM's S2 Spreadsheet and of TCP/IP stacks for OS/2 and IBM POS terminals, Vishnepolsky is one of the early Internet technologists, with a 20-plus year track record of technological advancements,...

Dimitri P. Bertsekas

Known for his fourteen textbooks and monographs in theoretical and algorithmic optimization and control, and in applied probability, Bertsekas is an applied mathematician and computer scientist who has served as a professor...

Frank Land

Pioneering IT use in business and the teaching of systems analysis in universities, Land began his career in computing as an analyst programmer with LEO—the Lyons Computer—in 1952. He left in 1968,...

Tsutomu Shimomura

Best known for his contributions to lattice gas automata and digital security research, Shimomura has made significant contributions to both computational physics and computer security. In the fall of 1984 he joined the...

Bruce Gilchrist

Co-inventor of a fast adder incorporating a speed-up technique for asynchronous adders — a design later used in the Philco TRANSAC S-2000 (1957), the first commercial transistorized computer — Gilchrist also served...

Srini Devadas

Co-inventor of silicon Physical Unclonable Functions (PUFs) and co-founder of Verayo, a company focused on improving the security of computer hardware, Devadas has served as the Edwin Sibley Webster Professor of Electrical...

Blaise Pascal

Inventor of the Pascaline, a mechanical calculator capable of addition and subtraction, Pascal built twenty of these machines over the following ten years after constructing the first in 1642 following three years...

John Landry

Builder of world-class software companies, Landry has spent nearly 30 years helping people connect with one another. He has served as Managing Director of Lead Dog Ventures, a business accelerator providing emerging...

Dean Everett Wooldridge

Co-founder of the Ramo-Wooldridge Corporation, which was awarded the prime contract for overall systems engineering and technical direction of the nation's Intercontinental Ballistic Missile (ICBM) Program, Wooldridge was a prominent engineer in...

David M. Young

Founder of the Center for Numerical Analysis at The University of Texas at Austin, Young was also known for establishing the Successive Overrelaxation (SOR) method. Professor Young's career and many contributions almost exactly...

Robert Endre Tarjan

Renowned for fundamental achievements in the design and analysis of algorithms and data structures, Tarjan is an American computer scientist. He discovered several important graph algorithms, including Tarjan's off-line least common ancestors...

Michael Oser Rabin

Author of the landmark joint paper "Finite Automata and Their Decision Problems," which introduced nondeterministic machines and had a lasting impact on automata theory, Rabin and co-author Dana S. Scott were cited...

Steve Chen

Principal designer of the Cray X-MP and Cray Y-MP multiprocessor supercomputers, Chen is a computer engineering pioneer. He has served as founder and CEO of Galactic Computing, a developer of supercomputing blade...