Resume: Paul Raff

Paul Raff 792 S Front St Apt 2 Philadelphia, PA 19147

(704) 604 2154 [email protected] http://www.myraff.com

Proven analytic and reliable leader that can adapt in a constantly changing world. Developed Revitalized Directed Drove Managed Guided Led Organized Inspired Initiative Devised Set Up Originated Designed Initiated Started Formulated Established Created Generated Introduced Redesigned Launched Achievement Achieved Obtained Delivered Attained Completed Secured Negotiated Effected Enhanced Produced Increased Expanded Performed Succeeded Conducted Improved Demonstrated Implemented Accomplished Surpassed Problem Solving Analyzed Evaluated Solved Investigated Eliminated Corrected Utilized Reduced Identified Tackled Reorganized Reviewed Resolved Reshaped Strengthened Streamlined Simplified Examined Revised Leadership

Education 



Rutgers: The State University of New Jersey New Brunswick, NJ 3.80 GPA PhD Degree in Mathematics expected to be awarded on October 2, 2009. Thesis Topics: Automated enumeration, graph theory, simulation, pattern detection/avoidance, and formal proof. Carnegie Mellon University Pittsburgh, PA 3.80 GPA Master’s of Science in Mathematics: Early Results of Shelah Towards PCF Theory Bachelor’s of Science in Mathematics with Honors. Bachelor’s of Science in Computer Science with Honors. Served as Men’s Captain and Vice President of CMU Rowing Club.

Work/Research Experience 

 

 

Monitoring Message Streams (January 2009 – current): I am the testing, experiment, and integration lead for the BOXER suite, a collection of software tools for the U.S. Intelligence Community to analyze large amounts of textual data and make important, high-probability inferences from them. Educational Testing Services (Summer 2008): I worked as a mathematical skills intern, dealing with weekly deadlines to be the most prolific creator of new material for future GRE and SAT examinations. Bechtel Bettis Atomic Power Laboratory (Summer 2005): I worked on a project to develop/test an advanced method for calculating radiation heat deposition in nuclear reactor shielding configurations. The new method significantly reduced the amount of engineering and computational time required to analyze. Pennsylvania Governor’s School for the Sciences (Summers 2002 and 2004): I worked as a Math TA and a Counselor in this intensive 6-week program for the brightest high-school seniors in Pennsylvania. National Security Agency - Director’s Summer Program (Summer 2003): I participated in the NSA’s premier outreach effort to the very best undergraduate mathematics majors in the country.

Honors, Awards, Certifications      

Passed the 1/P (2007) and 2/FM (2008) Actuarial Exams. Rutgers School of Arts and Sciences Award 2008: Distinguished Contributions by a Teaching Assistant. DIMACS Graduate Student Award: Winter 2006, Summer 2006, Summer 2005, Winter 2005, Winter 2004. Rhodes Scholar State Semifinalist: 2004. Andrew Carnegie Scholar: 2004. Richard C. Moore Scholar: 2004.

Teaching Experience    

Teaching Assistant, Calculus II: Fall 2008. Teaching Assistant, Calculus I: Spring 2008 (Head TA), Fall 2007 (Head TA), Spring 2007, Fall 2005. Lecturer, Calculus I: Summer 2007. Lecturer, Calculus II: Fall 2006, Summer 2006.

Invited Talks  

Avoiding Differences, Experimental Mathematics Seminar, Rutgers, Feb. 2009. Results in the Firefighter Problem, Spring School of Combinatorics, Czech Republic, April 2006.

Selected Papers  

A Formally Verified Proof of the Prime Number Theorem. Jeremy Avigad, Kevin Donnelly, David Gray, and Paul Raff. ACM Transactions on Computational Logic 9(1:2), 2007. Fractional Firefighting in the Two-Dimensional Grid. Kah Loon Ng, Paul Raff. Discrete Applied Mathematics 156, 2008.

Computer Languages/Frameworks 

Java, C, C++, ML, XML, RDF, Office, CSS/HTML, Perl, Maple, Mathematica, LATEX. References available upon request.