Paul Raff

Welcome to my web page! I am a fourth-year grad student at Rutgers University, working under the supervision of Professor Doron Zeilberger.

Mailing address:
Paul Raff
613 S 8th St, Apt 2
Philadelphia, PA 19147

e-mail: praff at math dot rutgers dot edu
Click here for my CV (Postscript)
Click here for my CV (PDF)

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.