Deepak Kapur

Deepak Kapur is affiliated with the University of New Mexico in the United States and works primarily in the field of Computer Science. Their research spans several subfields, with a strong focus on Computational Theory and Mathematics, Artificial Intelligence, and Computational Mechanics. Additional contributions touch on Computer Networks and Communications as well as Information Systems.

The scientist's recent publications illustrate a breadth of topics within theoretical computer science. Selected papers include:

• An Algorithm for Computing a Minimal Comprehensive Gröbner Basis of a Parametric Polynomial System, 2020, arXiv (Cornell University)
• Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties, 2023, Logical Methods in Computer Science
• Uniform Interpolants in EUF: Algorithms using DAG-representations, 2022, Logical Methods in Computer Science
• Interpolation Results for Arrays with Length and MaxDiff, 2023, ACM Transactions on Computational Logic
• Deciding the Word Problem for Ground and Strongly Shallow Identities with respect to Extensional Symbols, 2022, Journal of Automated Reasoning

Kapur's research addresses diverse topics such as logic, programming, and type systems; formal methods in verification; polynomial and algebraic computation; semigroups and automata theory; advanced numerical analysis techniques; as well as logic, reasoning, and knowledge. These areas represent key thematic strands within their career.

• Logic, programming, and type systems
• Formal Methods in Verification
• Polynomial and algebraic computation
• Semigroups and automata theory
• Advanced Numerical Analysis Techniques
• Logic, Reasoning, and Knowledge
• Numerical Methods and Algorithms

Frequent collaborators with Kapur include Silvio Ghilardi, Alessandro Gianola, Chiara Naso, Franz Baader, and Wayne Witzel. These collaborations indicate an active engagement with peers specializing in related theoretical and computational topics.

• Silvio Ghilardi
• Alessandro Gianola
• Chiara Naso
• Franz Baader
• Wayne Witzel

The scientist often publishes in venues focusing on logic and formal methods including arXiv (Cornell University), Logical Methods in Computer Science, ACM Transactions on Computational Logic, Journal of Automated Reasoning, and Proceedings on Privacy Enhancing Technologies. These venues reflect the academic communities to which Kapur contributes.

• arXiv (Cornell University)
• Logical Methods in Computer Science
• ACM Transactions on Computational Logic
• Journal of Automated Reasoning
• Proceedings on Privacy Enhancing Technologies

Overall, Deepak Kapur's scholarly work integrates advanced theoretical and computational approaches within computer science, contributing across several intersecting disciplines and collaborating with a range of experts in the field.