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 Science Institute.