Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Prof. Deepak Kapur's home page
PhD (1980), Massachusetts Institute of
Technology (MIT), Cambridge, MA;
M. Tech. (1973) and B. Tech. (1971),
Indian Institute of Technology (IIT),
Kanpur, India.
Research interests:
automated reasoning,
term rewriting, formal methods, programming languages,
algebraic and geometric reasoning, and
their applications in computer vision and solid modeling,
elimination methods, constraint solving,
and distributed, concurrent and real time systems.
PhD theses supervised:
T. Saxena (1996), BBN Technologies, Cambridge, MA.
M. Subramaniam (1996), Redswitch Corp, CA.
H. Zhang (1988), Professor, Computer Science, University of Iowa.
A. Kandri-Rody (1984), Professor,
Mathematics, Marakech University, Marakesh, Morrocco.
Books
Automated Deduction -- CADE-11
Proc. 11th
International Conference on Automated Deduction, Saratoga Spring,
NY, June 1992,
Lecture Notes in Artificial Intelligence 607,
Springer Verlag, Heidelberg, Germany.
D. Kapur (ed.)
Symbolic
and Numerical Computation for Artificial Intelligence
Academic Press, 1992.
Bruce Donald, Deepak Kapur, and Joseph L. Mundy (eds.)
Geometric Reasoning
MIT Press, 1989.
Deepak Kapur and Joseph L. Mundy (eds.)
Recent Publications
Decidable Classes of Inductive Theorems
Juergen Giesl and Deepak Kapur
Proc. Intl. Joint Conf. on Atuomated Reasoning (IJCAR), Springer LNAI 2083, June 2001, Siena, Italy, 469-484.
Dependency Pairs for Equational Rewriting
Juergen Giesl and Deepak Kapur
Proc. Intl. Conf. on Rewriting Techniques and Applications (RTA) Springer LNCS 2051, May 2001, Utrecht, the Netherlands.
Shostak's Congruence Closure as Completion
Deepak Kapur
International Conference on Rewriting Techniques
and Applications, RTA `97
Springer LNCS 1232, June 1997, Barcelona, Spain, 23-37.
Synthesizing Controllers for Hybrid Systems
Deepak Kapur and R.K. Shyamasundar
Intl. Workshop on Hybrid and Real-Time Systems,
HART `97,
Springer LNCS 1201, 361-375, Grenoble, France.
Designing a Controller
for a Multi-Train Multi-Track System
Deepak Kapur, Victor L. Winter, and Ray S. Berg
Proc. ICALP 2001 Satellite Workshop on
Algorithmic Methods and Models for Organization of
Railways, ATMOS 2001,
Creete,Greece, July 2001.
Elimination Methods: An Introduction
Deepak Kapur and Lakshman Y.N.
Symbolic and Numerical Computation for Artificial Intelligence,
Donald, Kapur and Mundy (eds.), Academic Press, 1992, 45-87.