Deepak Kapur
E46993
Deepak Kapur is a computer scientist known for his influential work in automated reasoning and term rewriting systems.
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 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)
| Subject (surface form when different) | Predicate |
|---|---|
|
Herbrand Award
→
|
notableRecipient |