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.
Chair, Department of Computer Science, University of New Mexico, Jan. 1999--June 2006.
Professor, Department of Computer Science, Jan. 1988-- Dec. 1998.
Founder and former Director,
Institute for Programming and Logics, University at Albany.
Member, Research
Staff, Computer Science Branch, General Electric Corporate
Research and Development, Schenectady, NY, 1980-87.
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:
A. Chtcherba (2003), Assistant Professor,
University of Texas--Pan American, Edinburgh, TX.
T. Saxena (1996), BBN Technologies, Cambridge, MA.
M. Subramaniam (1996), Assistant Professor,
University of Nebraska, Omaha, NA.
H. Zhang (1988), Professor, Computer Science, University of Iowa.
A. Kandri-Rody (1984), Professor,
Mathematics, Marakech University, Marakesh, Morrocco.
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.)
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.
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.
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.