University at Albany

Excellence in Research

Each year, the University at Albany honors special members of its community with Excellence Awards denoting exceptional contributions to the life of the campus. Four faculty members received this tribute in 2005 for Excellence in Research.

Deepak KapurDeepak KapurComputer Science

Deepak Kapur of the Department of Computer Science has been at the University since 1988. His primary research, in the field of automated reasoning, is remarkable in its breadth as well as depth. His main focus is "formal methods," used for ensuring the correctness of software, hardware, and systems in general. His pioneering work on every aspect of this broad research area, both at the theoretical and practical levels, has formed a crucial component of artificial intelligence. He has developed new techniques and algorithms. He has also considerably simplified and sharpened existing methods.

Importantly, Kapur has demonstrated the viability of the techniques he has developed by also developing practical software tools for specifying and verifying designs. The results of his work have been to minimize the "bugs" in computer designs before their chips are fabricated.

His contributions to the area of automated (symbolic) theorem-proving can be classified into three groups: automating induction, designing termination orderings for term rewriting systems, and design and analysis of equational unification problems and other computation problems in automated reasoning. In geometric reasoning, his work has emphasized solving polynomial equations. In both areas, his contributions have been accepted as enormously significant on an international scale.

Kapur has carried his enthusiasm for teaching, as well as his guidance, over to his students. He has supervised outstanding research theses and dissertations in his career here at Albany. He is a prolific author, with several of his scholarly papers earning awards. Currently chief editor of the Journal of Automated Reasoning, the leading publication in his field, his prolific publication record includes three books, 41 journal papers and book chapters, and 54 papers in refereed conference proceedings. He has also obtained external grants totaling over $1.7 million from several sources.

Excellence in Research

Deepak Kapur Stewart Tolnay Ronald Toseland Cathy Spatz Widom
Deepak Kapur


Social Work
Cathy Spatz

Criminal Justice

Students participate in more than 200 student clubs and honor societies, and enjoy a busy calendar of campus events.