Search for people, departments, or email addresses.
Results for Logic. 2 records matched your search request.
Areas of expertise: Mathematics, Logic, Computer Science
Biography, Education and Training
Frank Bäuerle did his undergraduate work in Mathematics and Computer Science at the Technische Hochschule in Karlsruhe, Germany, after which he received his Ph.D. in Mathematics from the University of California at San Diego. Frank did his research work in Recursion Theory and Complexity Theory, an area lying at the intersection of Applied Logic and Theoretical Computer Science. He is currently a Teaching Professor in the Mathematics Department at UC Santa Cruz. Together with his colleague ... more »
This campus directory is the property of the University of California at Santa Cruz. To protect the privacy of individuals listed herein, in accordance with the State of California Information Practices Act, this directory may not be used, rented, distributed, or sold for commercial purposes. For more details, please see the university guidelines for assuring privacy of personal information in mailing lists and telephone directories. If you have any questions please contact the ITS Support Center.
