Deepak Kapur is the chair and a professor
in the Department of Computer Science at the University of New Mexico. He got
his Ph.D in computer science in 1980 from MIT. After graduation, he worked at
GE R&D Center, Schenectady, New York, until 1988. In 1988, he was appointed
full professor in the Department of Computer Science at the University at Albany.
He also founded the Institute for Programming and Logics, and he served as its
director till Dec. 1998. He won the excellence in research award at SUNY in 1998.
In Jan. 1999, he moved from SUNY, Albany, to chair the Computer Science Department
at the University of New Mexico. Kapur has published over 150 papers, has edited
three books, and has served on program committees of many international conferences.
He serves on the editorial board of four journals, including the Journal of Automated
Reasoning, of which he serves as the editor-in-chief. Kapur is also on the executive
board of the Computer Science Research Institute at Sandia and Los Alamos Computer