National Academy of Engineering Member
- Pete Stewart, 2003
For the development of numerical algorithms and software widely used in engineering computation.
AAAI Fellow American Association for Artificial Intelligence
- James Hendler, 1999
For significant contributions to the field of planning, knowledge representation, and high-performance artificial intelligence.
- Laveen Kanal, 1992
For contributions to pattern recognition and heuristic search procedures and their application in the machine recognition of patterns.
- Jack Minker, 1990
- Dana Nau, 1996
For contributions to the fields of AI search algorithms, AI planning, and AI applications in design and manufacturing.
AAAS Fellow American Association for the Advancement of Science
ACM Fellow Association for Computing Machinery
- Vic Basili, 1997
For contributions to empirical software engineering.
- Joseph Ja'Ja'
For contributions to the design and analysis of parallel algorithms, algebraic and combinatorial complexity, VLSI architectures, and high-performance computing.
- Raymond Miller, 1997
For research contributions to the theory of parallel computation and for his distinguished service to the Computer Science community as an educator and leader.
- Jack Minker, 1994
For championing the rights of scientists to practice their profession freely and openly, for bringing to public attention the names of scientists deprived of their scientific freedom and human rights, and for giving these victims hope and making them aware of ACM's support.
- Dianne O'Leary, 2006
- Nick Roussopoulos, 2001
For outstanding contributions to the principles and practice of database management and for leadership in academia and service to the ACM community.
- Hanan Samet, 1996
For research and contributions in the area of hierarchical data structures for applications in spatial data bases for computer graphics, image processing, geographic information systems, and robotics.
- Ben Shneiderman, 1997
Ben Shneiderman has been a leader in the field of computer-human interaction, seeking to extend benefits of computing technology to a broad constituency.
- Uzi Vishkin, 1996
One of the pioneers of parallel algorithms research, Dr. Vishkin's seminal contributions played a leading role in forming and shaping what thinking in parallel has come to mean in the fundamental theory of Computer Science.
CSAB Fellow Computer Science Accreditation Board
- Raymond Miller, 2003
In recognition of his outstanding professional volunteer contributions to computing sciences and accreditation.
IAPR Fellow International Association for Pattern Recognition Fellow
IEEE Fellow Institute of Electrical and Electronics Engineers, Inc.
- Ashok Agrawala, 1991
Distributed algorithms and policies for computer systems.
- Vic Basili, 1990
Software quality and productivity.
- Rama Chellappa, 1992
Statistical model based approaches for two-dimensional spectral analysis and image processing.
- Larry Davis, 1998
Computer vision, image processing and high performance computing.
- Joseph Ja'Ja', 1996
Parallel computing, combinatorial algorithms, algebraic complexity, and digital signal processing architectures.
- Laveen Kanal, 1972
The advancement of the theoretical understanding of computation through work in switching theory and theoretical models.
- Raymond Miller, 1970
The advancement of the theoretical understanding of computation through work in switching theory and theoretical models.
- Jack Minker, 1991
Deductive databases, disjunctive logic programming, and artificial intelligence.
- Hanan Samet, 1991
The area of hierarchical data structures for applications in spatial databases for computer graphics and image processing.
- Andre Tits
- Marvin Zelkowitz, 1997
The development of practical programming environment for effective software development.
Packard Fellow
AAAI
AAAI/ACM
- Jack Minker
- The Allen Newell Award, 2005
For his fundamental contributions to the fields of deductive databases, logic programming, artificial intelligence, and, more generally, logic-based methods in Computer Science and for his truly unprecedented role in organizing and stimulating scientific discourse.
ACM
- Vic Basili
- ACM SIGSOFT Outstanding Research Award, 2000
- Raymond Miller
- ACM Distinguished Service Award, 2002
For strengthening and nurturing computer science as a profession and as a discipline. Throughout his career, departments, journal boards, technical committees, accreditation processes, curriculum revision initiatives, conferences, workshops, and numerous other professional activities have benefited from his judgment, leadership and energy.
- Jack Minker
- Ben Shneiderman
- ACM SIGCAS Making a Difference Award Winner, 2001
- ACM SIGCHI Lifetime Achievement Award, 2001
- ACM SIGDOC Rigo Award, 1996
For research on human-computer interacton.
- Marvin Zelkowitz
- ACM SIGSOFT Distinguished Service Award, 2000
IAPR
IEEE
CMPS Dean's Award for Teaching Excellence
University of Maryland Distinguished Faculty Research Fellow
University of Maryland Distinguished Scholar-Teacher
University of Maryland Distinguished University Professor
University of Maryland Presidential Medal
- Vic Basili
- Laurea Honoris Causa in Informatic Engineering, 2004. University of Sannio, Benevento (BN), Italy
- Department of Computer Science and Fraunhofer IESE, 2005. University of Kaiserslautern, Germany
- Dianne O'Leary
- Doctor of Mathematics Honoris Causa, 2005. University of Waterloo, Canada.
- Ben Shneiderman
- University of Guelph, Canada, 1996
|
