Age, Biography and Wiki

Deepak Kapur was born on 24 August, 1950 in Amritsar, Punjab, India, is an An indian computer scientist. Discover Deepak Kapur's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 73 years old?

Popular As N/A
Occupation N/A
Age 73 years old
Zodiac Sign Virgo
Born 24 August 1950
Birthday 24 August
Birthplace Amritsar, Punjab, India
Nationality India

We recommend you to check the complete list of Famous People born on 24 August. He is a member of famous computer with the age 73 years old group.

Deepak Kapur Height, Weight & Measurements

At 73 years old, Deepak Kapur height not available right now. We will update Deepak Kapur's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.

Physical Status
Height Not Available
Weight Not Available
Body Measurements Not Available
Eye Color Not Available
Hair Color Not Available

Who Is Deepak Kapur's Wife?

His wife is Roli Varma

Family
Parents Not Available
Wife Roli Varma
Sibling Not Available
Children Ila Kapur Varma

Deepak Kapur Net Worth

His net worth has been growing significantly in 2023-2024. So, how much is Deepak Kapur worth at the age of 73 years old? Deepak Kapur’s income source is mostly from being a successful computer. He is from India. We have estimated Deepak Kapur's net worth, money, salary, income, and assets.

Net Worth in 2024 $1 Million - $5 Million
Salary in 2024 Under Review
Net Worth in 2023 Pending
Salary in 2023 Under Review
House Not Available
Cars Not Available
Source of Income computer

Deepak Kapur Social Network

Instagram
Linkedin
Twitter
Facebook
Wikipedia
Imdb

Timeline

1950

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

Kapur was born in a lower-middle-class family based in Amritsar, where his father, Nawal Kishore Kapur, was a cloth broker; his mother, Bimla Vati, was a housewife.

Kapur's early education was at the Government Primary School, Katra Khazana, Amritsar, until 3rd grade.

He was then shifted to the Vidya Bhushan Primary School, Amritsar.

1966

He was selected in the Indian Institute of Technology (IIT) entrance examination in 1966.

1971

He got his undergraduate degree (B.Tech) in Electric Engineering from IIT, Kanpur, in 1971 and M. Tech.

1973

degree in Computer Science in May 1973 also from IIT, Kanpur.

1980

After graduating from MIT in March 1980, Kapur joined as a research staff at GE Corporate Research and Development (GECRD), Schenectady, NY, where he worked until Dec. 1987.

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.

At RPI he also co-supervised Ph.D. dissertations of Abdelilah Kandri-Rody and Hantao Zhang.

1988

Kapur was hired in 1988 as a tenured full professor at the University at Albany, State University of New York.

1993

Kapur was the Editor-in-Chief of the Journal of Automated Reasoning from 1993-2007.

He has served on the editorial board of many journals including Journal of Automated Reasoning, Journal of Symbolic Computation, Journal of Logic and Algebra Programming, Journal of Applicable Algebra in Engineering, Communication and Computing.

Kapur also served on the board of Leibniz International Proceedings in Informatics.

Kapur was a Board Member of the United Nations University - International Institute for Software Technology as well as United Nation University - Computing and Society.

He was also a board member of the Computer Science Research Institute of the Sandia National Laboratories and Los Alamos Computer Science Institute (LACSI).

1998

In 1998, Kapur got the distinguished research award.

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.

2007

In 2007, Kapur was made a Distinguished Professor at UNM.

2009

Kapur received the Herbrand Award in 2009:

"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.

Kapur developed the software tool Rewrite Rule Laboratory (RRL), the world’s first theorem prover based on term rewriting and the Knuth-Bendix completion procedure and its generalization.

The theorem prover mechanized equational, first-order, and inductive reasoning.

At GECRD, Kapur designed and led the development of GeoMeter, a system for geometric and algebraic reasoning based on Groebner basis and parametric Groebner basis for applications to geometry theorem proving and computer vision.

At the University at Albany, State University of New York, Kapur with Musser led the development of a hypertext based system, Tecton, for hierarchical proof management., on top of RRL.

These systems have been used in applications of hardware verification, specification analysis, geometric modeling, and computer vision.

2010

In May, 2010, Kapur was awarded Senior Faculty Research Excellence Award by the School of Engineering of the UNM.

Kapur has held visiting appointments at Massachusetts Institute of Technology, Max Planck Institute for Informatics, Tata Institute of Fundamental Research, Mumbai, Indian Institute of Technology, Delhi, Institute of Software (Beijing), the Chinese Academy of Sciences (ISCAS), Institute IMDEA Software, Madrid, among other institutions.

Kapur has served as a Consultant to GE Corporate Research and Development, Sandia National Labs, IBM Research at Watson and Fujitsu Labs.

2011

After 5th grade, he had to change school again to Dayanand Anglo Vedic (DAV) Higher Secondary School until 11th grade.