Position

Associate Chairman
Undergraduate Coordinator

Access

Spring Office Hours
358 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
Other
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 Algebra
MAS 3114
Section 3162
MWF 3th Period
Little 113

Research Interests

Mathematical Logic
Computability Theory
Proof Theory
Progam Verification

There is lively discussion on the Foundations of Mathematics to be found in the FoM archives.