Honored Persons Database
Displaying 301 – 320 of 817 Honorees (Category: Computer Scientist - Software/Mathematics, with portraits)
Radhia Cousot
Co-inventor of Abstract Interpretation, Cousot was a French computer scientist who, together with her husband Patrick, developed an influential technique in formal methods based on three main ideas. 1) Any reasoning/proof/static analysis...
John Wilder Tukey
Known for his contributions to the spectral analysis of random processes and the fast Fourier transform (FFT) algorithm, Tukey left a profound mark on modern statistics and signal processing. During World War II,...
Lawrence (Larry) A. Welke
Publisher of the first publications dedicated to the software industry, Welke is also remembered as a co-founder of the Software Industry Association section of ADAPSO (known today as the Information Technology Association...
Edward Nash Yourdon
Pioneer of structured analysis and object-oriented design methodologies, Yourdon was known as one of the lead developers of the structured analysis techniques of the 1970s, as co-developer of the Yourdon/Whitehead method for...
Charles Simonyi
Overseer of Microsoft's flagship Office applications Word and Excel, Simonyi also directed development of Excel's predecessor Multiplan. In 1981, he applied directly to Bill Gates for a job at Microsoft. With Multiplan,...
Bettina Speckmann
Speckmann headed the Applied Geometric Algorithms group at Eindhoven University of Technology and was a professor in the Department of Mathematics and Computer Science in Eindhoven, Netherlands. Her research focused on computational...
Kurt Gödel
Known for his two incompleteness theorems, Gödel heavily influenced the sciences and mathematics. Published in 1931 when he was 25 years of age, one year after finishing his doctorate at the University...
Ken Orr
Leading researcher in the development of automated tools for business requirements, database design, and advanced client/server prototyping, Orr is an internationally recognized expert on business process reengineering, technology transfer, software engineering, data...
Elwyn Ralph Berlekamp
Known for his work in information theory and combinatorial game theory, Berlekamp was one of the inventors of the Welch–Berlekamp and Berlekamp–Massey algorithms, which are used to implement Reed–Solomon error correction. While an...
Alain Glavieux
Co-inventor of turbo codes, Glavieux was a French professor of electrical engineering at Ecole Nationale Superieure des Telecommunications de Bretagne. He was the coinventor with Claude Berrou and Punya Thitimajshima of a...
Dario de Judicibus
Founder of the Reuse Shop, the first IBM group to create software libraries of building blocks that could be used to develop products, de Judicibus is a prolific inventor and pioneer in...
David H. Crocker
Co-worker on RFC 822, the first standard to describe the syntax of a domain name, Crocker has forty years of work experience in the Internet industry, including early work with DARPA and...
Dilma M. Da Silva
Leader of the architecture and implementation of file system support on the IBM K42 research operating system, Da Silva has been a Research Staff Member of Advanced Operating Systems at IBM T.J....
Carol A. Jones
Responsible for delivering the first releases of WebSphere Application Server and WebSphere Studio, Jones is recognized as a visionary and technical leader for WebSphere Portal, driving the initiative across IBM. She was...
Thomas M. Cover
Known for developing the relationship between information theory and statistics, Cover served as past President of the IEEE Information Theory Society and was a Fellow of the Institute for Mathematical Statistics and...
Hugh McGregor Ross
One of the principal architects of the Universal Character Set ISO/IEC 10646, Ross was an early pioneer in the history of British computing. Born in Nairobi, Kenya, he worked for Ferranti from...
Aleksandr Semenovich Kronrod
Known for the Gauss–Kronrod quadrature formula, which he published in 1964, Kronrod was a Soviet mathematician and computer scientist. Earlier in his career, his computations informed theoretical physics. He was also known...
Leonid Anatolievich Levin
Co-discoverer of the Cook-Levin Theorem, Levin is noted for his work in randomness computing, algorithmic complexity, and intractability. This NP-completeness theorem was a basis for one of the seven "Millennium Math Problems"...
Fernanda Bertini Viégas
Co-creator of Many Eyes, the ground-breaking open public data visualization and analysis platform, Viégas is a Brazilian-born scientist and computational designer whose work focuses on the social, collaborative, and artistic aspects of...
Allan Alcorn
Designer of the video arcade game Pong, one of the earliest and most popular arcade video games, Alcorn is an American pioneering engineer and computer scientist born and raised in San Francisco,...