Position
Associate ChairmanUndergraduate Coordinator
Access
Spring Office Hours358 Little Hall
- Monday
- 10:30-12:00
- Tuesday
- 10-11:30
- Wednesday
- 10:30-12:00
- Thursday
- 10-11:30
- Friday
- 10:30-11:30
Email: rs@ufl.edu
Phone: 352-392-0281 ext 221
Fax: 352-392-8357
PO Box 118105
Gainesville, FL 32611-8105
Teaching Assignment
Spring 2012
Computational Linear AlgebraMAS 3114
Section 3162
MWF 3th Period
Little 113
Research Interests
Mathematical LogicComputability Theory
Proof Theory
Progam Verification
There is lively discussion on the Foundations of Mathematics to be found in the FoM archives.