Position
Associate ChairmanUndergraduate Coordinator
Access
Summer Office Hours358 Little Hall
Through June 1
- Monday-Friday
- 10:30-11:30
Unavailable June 3-16
Other
Email: rs@ufl.edu
Phone: 352-392-0281 ext 221
Fax: 352-392-8357
PO Box 118105
Gainesville, FL 32611-8105
Teaching Assignment
Summer B 2012
Introduction to Number TheoryMAS 3114
Section 4801
MTWRF 5th Period
Little 127
Research Interests
Mathematical LogicComputability Theory
Proof Theory
Program Verification
There is lively discussion on the Foundations of Mathematics to be found in the FoM archives.