Major awards received by our faculty
- Full Listing of Major Awards
- National Academy Memberships
- Fellows of Professional Societies
- Awards from Professional Societies
- Major University Awards
- Honorary Degrees
Faculty organized: Alphabetically, Position, Research Areas.
National Academy Memberships
National Academy of Engineering Member- Pete Stewart, 2003
For the development of numerical algorithms and software widely used in engineering computation.
Fellows of Professional Societies
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.
- 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.
- Raymond Miller, 2003
In recognition of his outstanding professional volunteer contributions to computing sciences and accreditation.
- Rama Chellappa
- Larry Davis
- Leila DeFloriani, 1998
- Laveen Kanal, 1994
- Hanan Samet
- 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.
Awards from Professional Societies
AAAI- James Hendler
- Effective Expository Writing Award, 2000
"Is There an Intelligent Agent in your Future?" Nature 11, March 1999 - Robert S. Engelmore Memorial Lecturer, 2005
- Effective Expository Writing Award, 2000
- 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.
- The Allen Newell Award, 2005
- 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.
- ACM Distinguished Service Award, 2002
- 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
- Rama Chellappa
- Best Paper Award, 1992
- Laveen Kanal
- IAPR King-Sun Fu Award, 1992
For contributions to pattern recognition
- IAPR King-Sun Fu Award, 1992
- Vic Basili
- IEEE Computer Society, Harlan D. Mills Award, 2003
For significant contributions to programming languages, program reading and writing, and empirical methods. - IEEE Computer Society, Society of Golden Core, 1996
For various contributions to the Society's success.
- IEEE Computer Society, Harlan D. Mills Award, 2003
- Rama Chellappa
- Raymond Miller
- Ben Shneiderman
- IEEE Computer Society, Software Process Achievement Award, 2004
Software Engineering Laboratory at NASA Godard Space Flight Center, (associated with NASA Goddard, University of Maryland, and Computer Sciences Corporation), "In recognition of the Software Engineering Laboratory's long record of sustained achievement in software process improvement." - IEEE Distinguished Literary Contribution, 2003
For "Leonardo's Laptop: Human Needs and the New Computing Technologies".
- IEEE Computer Society, Software Process Achievement Award, 2004
- Amitabh Varshney
- IEEE VGTC, Technical Achievement Award, 2004
In recognition of Seminal Achievements in Scientific Visualization of Molecular Surfaces.
- IEEE VGTC, Technical Achievement Award, 2004
Major University Awards
CMPS Board of Visitors Distinguished Faculty Award The award is given annually to a tenured faculty member for outstanding accomplishments over the previous five years that have contributed significantly to raising the profile and visibility of the College.- Ben Shneiderman, 2008
- Samir Khuller, 1995
- Adam Porter
- Rama Chellappa, 1996-1998
- Rama Chellappa, 2003
- Samir Khuller, 2006
- Jack Minker
- Pete Stewart, 2006
Honorary Degrees
- 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
