This webpage will no longer be updated frequently. Please see my permanent webpage (or just Bing "Paul Raff")!

Paul Raff

Welcome to my web page! I have graduated with my Ph.D. from the Math Department at Rutgers University-New Brunswick, under the supervision of Professor Doron Zeilberger.

Mailing address:
Paul Raff
792 S Front St, Apt REAR
Philadelphia, PA 19147

e-mail: Click to reCAPTCHA it.
Click here for my CV (Postscript)
Click here for my CV (PDF)

Projects:

Monitoring Message Streams: I am working as a Graduate Assistant under the DIMACS-MMS project. The PI is Fred Roberts and the Research Head is Paul Kantor.
Spanning Trees in Grid Graphs: I created a novel method to find and analyze the sequence describing the number of spanning trees of grid graphs. Click here to view the large amount of results associated with this project.

Publications:

A Formally Verified Proof of the Prime Number Theorem with Jeremy Avigad, Kevin Donnelly, and David Gray. ACM Transactions on Computational Logic, 9(1:2), 2007. arXiv.
A Generalization of the Firefighter Problem on (Z x Z). with Kah Loon Ng. Discrete Applied Mathematics, 156 (pp.730-745), 2008. PDF
Spanning Trees in Grids Submitted to the Journal of Integer Sequences. PDF

Class Web Pages
Math 152 - Fall 2008
Math 152 - Summer 2008
Math 135 - Summer 2007
Math 135 - Spring 2007
Math 152 - Summer 2006
Math 112 - Spring 2006
Combinatorics Seminar - Spring 2007