Deepak Kapur (born August 24, 1950) is a Distinguished Professor in the Department of Computer Science at the University of New Mexico.
[citation needed] Kapur's early education was at the Government Primary School, Katra Khazana, Amritsar, until 3rd grade.
While being at GECRD, he was an adjunct professor at Rensselaer Polytechnic Institute (RPI), where he taught a course on automated reasoning based on term rewriting.
Kapur became the Chair of the Computer Science department at the University of New Mexico (UNM) in December 1998, a position he held until June 2006.
Kapur received the Herbrand Award in 2009:[4] in recognition of his seminal contributions to several areas of automated deduction including inductive theorem proving, geometry theorem proving, term rewriting, unification theory, integration and combination of decision procedures, lemma and loop invariant generation, as well as his work in computer algebra, which helped to bridge the gap between the two areas.Kapur has published over 150 papers on Programming Languages, Formal Methods including Software and Hardware Verification, Automated Theorem Proving, Term Rewriting, Inductive Theorem Proving, Unification Theory, Complexity of Automated Reasoning Algorithms, Geometry Theorem Proving, Groebner basis, parametric (Comprehensive) Groebner Basis, Multivariate Dixon Resultants, among other topics.