Deepak Kapur

Deepak Kapur
Born (1950-08-24) August 24, 1950 (age 74)
Amritsar, Punjab, India
NationalityIndian, American
Alma materIndian Institute of Technology Kanpur
Massachusetts Institute of Technology
SpouseRoli Varma
AwardsHerbrand Award (2009)
Scientific career
FieldsAutomated reasoning, term rewriting, unification, symbolic computation, formal methods
Thesis Towards a Theory of Abstract Data Types.[1]  (1980)
Doctoral advisorBarbara Liskov[2]
Websitehttps://www.cs.unm.edu/~kapur/

Deepak Kapur (born August 24, 1950) is a Distinguished Professor in the Department of Computer Science at the University of New Mexico.[3]

  1. ^ Kapur, Deepak (June 1980). "Towards a Theory for Abstract Data Types. Deepak Kapur Ph.D. thesis". Archived from the original on September 28, 2021. Retrieved 28 September 2021. {{cite journal}}: Cite journal requires |journal= (help)
  2. ^ Deepak Kapur at the Mathematics Genealogy Project
  3. ^ "Faculty Profiles: Deepak Kapur". CS UNM. Retrieved 28 September 2021.