Emeritus Faculty doner@math.ucsb.edu http://web.math.ucsb.edu/~doner (805) 893-5808 About Specialization: Logic, Computer Science