Recent News
Computer science student chosen for Churchill Scholarship
January 11, 2023
Leaving a legacy: Computer science professor’s research honored with Test of Time Award
December 9, 2022
Virtual workshop on climate-driven extreme events planned Nov. 10
October 25, 2022
MathWorks gives $2 million to UNM to create endowed chair for Department of Computer Science
October 18, 2022
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.