| |
 |
Computer
Science Honors |
| |
| COMPUTER
SCIENCE HONORS |
| |
IBM
Research has been a leader in technological innovations around the
world. IBM Researchers have been internationally recognized for
their outstanding achievements in Computer Science and related disciplines. |
|
| |
|
| |
SOCIETY
FELLOWS |
| |
|
| |
|
| |
|
| |
Ramesh
C. Agarwal |
| |
For
contributions to number-theoretic transforms and fast convolution algorithms
in digital signal processing. |
| |
|
| |
Tilak
Agerwala |
| |
For
leadership in the development of very high performance computers. |
| |
|
| |
Rakesh
Agrawal |
| |
For
contributions to the theory and practice of database management. |
| |
|
| |
Frances
E. Allen |
| |
For
her contributions to program optimization and compiling for parallel computers.
|
| |
|
| |
George
Almasi |
| |
For
contributions to the development of magnetic bubble device technology. |
| |
|
| |
Marc
Auslander |
| |
For
contributions to reduced instruction set computing (RISC) systems. |
| |
|
| |
Chatschik
Bisdikian |
| |
For
contributions to the development, modeling, and analysis of communication
protocols and wireless personal area networks. |
| |
|
| |
Ruud
Bolle |
| |
For
contributions to industrial computer vision. |
| |
|
| |
Daniel
Brand |
| |
For
contributions to the development of automated logic synthesis of VLSI chips. |
| |
|
| |
Werner
Bux |
| |
For
contributions to the design, analysis, and standardization of data-link
and medium-access protocols. |
| |
|
| |
Pierre
Chevillat |
| |
For
contributions to the theory and application of digital communications techniques. |
| |
|
| |
Don
Coppersmith |
| |
For
contributions to the cryptography and complexity theory. |
| |
|
| |
Sang
H. Dhong |
| |
For
contribution to high speed processor and memory chip design. |
| |
|
| |
Francois
Bernard Dolivo |
| |
For
the application of signal-processing techniques to magnetic recording.
|
| |
|
| |
Philip
Emma |
| |
For
innovations in high-performance computer acrhitecture. |
| |
|
| |
Ronald
Fagin |
| |
For
contributions to finite-model theory and to relational database theory. |
| |
|
| |
Stuart
Feldman |
| |
For
contributions to software engineering and software configuration management. |
| |
|
| |
Peter
Franaszek |
| |
For
contributions to the theory and practice of coding for constrained channels
and digital magnetic recording. |
| |
|
| |
Christos
Georgiou |
| |
For
contributions to the development of high-performance fiber-optic switching
systems. |
| |
|
| |
Cesar
A. Gonzales |
| |
For
contributions to MPEG encoding algorithms and leadership in their use. |
| |
|
| |
Fred
Gustavson |
| |
For
contributions to the efficient numerical simulation and design of electrical
circuits using innovative sparse matrix algorithms. |
| |
|
| |
Brent
Hailpern |
| |
For
contributions to computer protocol verification. |
| |
|
| |
Phil
Heidelberger |
| |
For
contributions to the theory of discrete event simulations. |
| |
|
| |
Se
June Hong |
| |
For
contributions to fault-tolerant computing, design automation, and error-correcting
codes. |
| |
|
| |
Vijay
Iyengar |
| |
For
contributions to the theory and practice of fault modeling and delay fault
testing. |
| |
|
| |
William
Joyner |
| |
For
contributions to the development and application of practical automated
logic synthesis to high-performance VLSI designs. |
| |
|
| |
Dilip
Kandlur |
| |
For
contributions to the development of quality of service in networks and network
servers. |
| |
|
| |
Eric
Kronstadt |
| |
For
contributions to processor architectures, compilers, and operating systems. |
| |
|
| |
Stephen
Lavenberg |
| |
For
contributions to the theory and practice of computer performance modeling. |
| |
|
| |
Chung-Sheng
Li |
| |
For
contributions to digital libraries and universal multimedia access. |
| |
|
| |
Bernie
Meyerson |
| |
For
the invention of ultra high vacuum chemical vapor deposition and its application
to low temperature epitaxy of SiGe for the fabrication of heterojunction
bipolar integrated circuits for telecommunications. |
| |
|
| |
Fred
Mintzer |
| |
For
contributions to the development of digital libraries, digital watermarking,
and multirate signal processing. |
| |
|
| |
Joan
Mitchell |
| |
For
contributions to the development of international image compression standards.
|
| |
|
| |
C.
Mohan |
| |
For
contributions to robust high-performance transaction management. |
| |
|
| |
Robert
Morris |
| |
For
contributions to performance evaluation of computer systems. |
| |
|
| |
Kottappuram
M. Mohiuddin |
| |
For contributions to Optical Character Recognition algorithms and systems.
|
| |
|
| |
Ravi
Nair |
| |
For
contributions to design automation for VLSI and microprocessor design. |
| |
|
| |
David
Nahamoo |
| |
For
development of speech recognition algorithms and products |
| |
|
| |
Daniel
Ostapko |
| |
For
contributions to design automation, fault-tolerant computing, and to programmable
logic arrays. |
| |
|
| |
Michael
Picheny |
| |
For
contributions to speech recognition systems and products. |
| |
|
| |
Josef
Raviv |
| |
Lifetime
Fellow. |
| |
|
| |
Stanley
E. Schuster |
| |
For
contributions to high-performance static random access memory design. |
| |
|
| |
T.
Basil Smith |
| |
For
contributions to the theory and practice in the design of high performance
fault tolerant computing systems. |
| |
|
| |
Alfred
Spector |
| |
For
leadership in reliable, scalable distributed computer systems. |
| |
|
| |
Mark
S Squillante |
| |
For
contributions to analysis, modeling and optimization of computer systems |
| |
|
| |
Leon
Stok |
| |
For
the development and application of high-level and logic synthesis algorithms. |
| |
|
| |
Donald
T. Tang |
| |
For
contributions to the design and analysis of computer communiaction networks. |
| |
|
| |
Louise
Trevillyan |
| |
For
contributions to the development of automated logic synthesis of VLSI chips. |
| |
|
| |
Paul
Vettiger |
| |
For
contributions to, and leadership in, the development of microfabrication
processes for electronic, optoelectronic, and microelectrocomechanical devices,
circuits, and systems. |
| |
|
| |
Robin
Williams |
| |
For
leadership in computer video, image and graphics systems. |
| |
|
| |
Shmuel
Winograd |
| |
For
analysis of computational complexity which established bounds on the time
required to compute certain mathematical functions. |
| |
|
| |
Joel
Wolf |
| |
For
contributions to the optimization of scheduling and resource allocation
in computer systems. |
| |
|
| |
Hon-Sum
Philip Wong |
| |
For
contributions to solid-state image sensors and nanoscale CMOS devices. |
| |
|
| |
Michael
Waidner |
| |
For
contributions to the theory and practice of information security, privacy
and cryptography. |
| |
|
| |
Mark
Wegman |
| |
For
contributions to the design, implementation, and analysis of algorithms
and compiler technology. |
| |
|
| |
Philip
S. Yu |
| |
For
contributions to the theory and practice of analytical performance modeling
of database systems. |
| |
|
| |
|
| |
|