Jason Rute

Department of Mathematical Sciences
Carnegie Mellon University
Pittsburgh, PA 15213

Email: jrute AT andrew DOT cmu DOT edu
Office: Wean Hall 7213

I am a second year Ph.D student in the PAL (Pure and Applied Logic) program at Carnegie Mellon University.

My adviser is Jeremy Avigad.

Talks

Here are some recent talks I've given, including abstracts and handouts.

How to Automatically Prove Every First-Order Theorem of the Reals, CMU Math Grad Student Seminar, Sept 10, 2009

The above files have not changed since the talk and may include errors or typos.

Last Updated: Nov 23, 2009