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 advisor 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
[
Abstract - PDF
]
[
Handout - PDF
]
Randomness II,
CMU Math Logic Seminar
, Nov 17, 2009
[
Abstact
]
[
Handout - PDF Scan
]
The above files have not changed since the talk and may include errors or typos.
Last Changed: Nov 22, 2009