eepak 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.
The 1998 Excellence Awards
University at Albany
State University of New York