Deepak Kapur
E46993
Deepak Kapur is a computer scientist known for his influential work in automated reasoning and term rewriting systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Deepak Kapur canonical | 1 |
Statements (35)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
researcher ⓘ |
| educatedAt |
Indian Institute of Technology Kanpur
ⓘ
Massachusetts Institute of Technology ⓘ |
| employer | University of New Mexico ⓘ |
| fieldOfWork |
automated reasoning
ⓘ
computer science ⓘ formal methods ⓘ term rewriting systems ⓘ theorem proving ⓘ |
| hasAcademicAdvisor | Dana Scott ⓘ |
| hasAcademicDegree | PhD in computer science ⓘ |
| hasAward |
Herbrand Award
ⓘ
surface form:
Herbrand Award for Automated Reasoning
|
| hasCitizenship | India ⓘ |
| hasHIndex | high citation impact in automated reasoning ⓘ |
| hasPublicationType |
conference papers
ⓘ
edited volumes ⓘ journal articles ⓘ |
| hasRole | editor of scientific volumes in automated reasoning ⓘ |
| languageOfWorkOrName |
English
ⓘ
Hindi ⓘ |
| memberOf |
Association for Computing Machinery
ⓘ
IEEE Computer Society ⓘ |
| notableFor |
contributions to equational reasoning
ⓘ
work on automated reasoning ⓘ work on term rewriting systems ⓘ |
| notableStudent | researchers in automated reasoning and term rewriting ⓘ |
| positionHeld |
department chair of computer science at the University of New Mexico
ⓘ
professor of computer science at the University of New Mexico ⓘ |
| researchInterest |
algebraic specification
ⓘ
automated deduction ⓘ equational theorem proving ⓘ formal verification ⓘ inductive theorem proving ⓘ term rewriting ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.