Recent Lectures

Algorithmic Randomness

Pi Mu Epsilon Lecture, University of Florida, Gainesville, September 2009

PDF FILE

Immunity of Closed Sets

(with Rebecca Weber and Guohua Wu)

CIE 2009, Heidelberg

PDF FILE

Sigma-0-1 and Pi-0-1 Equivalence Structures

(with Valentina Harizanov and Jeffrey Remmel)

CIE 2009, Heidelberg

PDF FILE

Effective Randomness and Capacity of Closed Sets

(with Paul Brodhead)

CIE 2009, Heidelberg

PDF FILE

Random Union, Intersection and Membership

(with Rebecca Weber)

Logic, Computability and Randomness

Luminy, France, June 2009

PDF FILE

Random Elements of Random Closed Sets
(with Rebecca Weber)
Algorithmic Randomness Workshop
University of Wisconsin, Madison, May 2009 PDF FILE

Effective Symbolic Dynamics
(with S. Ali Dashti)
Special Session on Logic and Symbolic Dynamics
Annual Meeting of the American Mathematical Society
Washington, D.C., January 2009 PDF FILE

Space complexity of Abelian Groups
(with Rodney G. Downey, Jeffrey B. Remmel and Zia Uddin)
Computability, Reverse Mathematics and Combinatorics
Banff Research Centre, Canada, December 2008
PDF FILE

Pi-0-1 Classes and Pseudojump Operators
(with Geoffrey LaForte and Guohua Wu)
Nanyang Technical University, Singapore, May 2008
PDF FILE

Algorithmic Randomness
College of Charleston Colloquium Talk, April 2008
PDF FILE

The Cantor-Bendixson Derviative and the Well-Founded Semantics of Logic Programs
(with Jeffrey Remmel)
ISAIM 2008 (10th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, January 2008.
PDF FILE

Effective Capacity and Randomness of Closed Sets
(with Paul Brodhead)
Computability and Complexity Workshop, University of Auckland, December 2007 and
AMS-NZ Special Session on Computability, Wellington, NZ, December 2007
PDF FILE

Algorithmic Methods for Equivalence Relations
(with Wesley Calvert, Valentina Harizanov, Geoffrey Laforte, Andrei Morozov and Jeffrey Remmel)
AMS Special Session on Algorithmic Methods for Algebraic Structures, Murfreesboro, Tennessee, November 2-4, 2007.
PDF FILE

K-trivial Closed Sets and Continuous Functions
(with George Barmpalias, Jeffrey Remmel and Rebecca Weber)
CIE 2007, Siena, Italy
PDF FILE

Pseudojump Operators and Pi-0-1 Classes
(with Geoffrey LaForte and Guohua Wu)
CIE 2007, Siena, Italy
PDF FILE

Effective Symbolic Dynamics
(with S. Ali Dashti)
CCA 2007, Siena, Italy
PDF FILE

Random Continuous Functions (with Paul Brodhead, Jeffrey Remmel and Rebecca Weber)
CCA 2006, Gainesville
PDF FILE

Medvedev Degrees of Generalized r.e. Separating Classes (with Peter Hinman)
CCA 2007, Gainesville
PDF FILE

Random Closed Sets (with Paul Brodhead and Seyyed Dashti)
CIE 2006, Swansea
PDF FILE