Position

Associate Chairman
Undergraduate Coordinator

Access

Summer Office Hours
358 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 Theory
MAS 3114

Section 4801
MTWRF 5th Period
Little 127

Research Interests

Mathematical Logic
Computability Theory
Proof Theory
Program Verification

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