Recent News
Two from School of Engineering to receive local 40 Under 40 awards
April 18, 2024
Making waves: Undergraduate combines computer science skills, love of water for summer internship
April 9, 2024
Inaugural School of Engineering Teaching Innovation Fellows selected
February 2, 2024
UNM computer scientist wins NSF CAREER Award to optimize supercomputer performance
February 1, 2024
News Archives
[Colloquium] Automated Deduction and Its Application to Mathematics
August 31, 2007
- Date: Friday, August 31, 2007
- Time: 1 pm — 2:30 pm
- Place: ME 218
Robert Veroff
Department of Computer Science, UNM
Abstract: One of the objectives of automated deduction is to develop tools that use mathematical logic and deduction to solve, or help people solve, problems coming from a wide variety of application domains. Such tools are being used for research in mathematics and have led to the solution of numerous open questions. In this talk, I will give a brief introduction to the field and will describe some of the activities of our research group.
Bio: Bob Veroff is professor emeritus in the UNM Computer Science Department.