Susan Buchman, EJ207 Internet:buchman@ai.sri.com SRI International Phone: 650/859-4464 333 Ravenswood Ave. Fax: 650/859-3735 Menlo Park, CA 94025
My main interests are logic, combinatorics, and constitutional law. At SRI, I'm working on the RKF project under the guidance of Mark Stickel and Vinay Chaudhri.
The interests that brought me to SRI are automated theorem proving and automated discovery. Since I've arrived, I've become more and more interested in knowledge representation -- after all, what good is having a method to answer your question if you don't know how to ask it? As with everything, my true interest is how it all relates to math. For example, consider this problem.
