.thesis.

To Branch or Not To Branch: Branching and Non-Branching in the Medvedev Lattice of Pi01 Classes, by Christopher P. Alfeld. Most of the content of this thesis is contained in the branching and non-branching papers below

.papers.

Classifying the Branching Degrees in the Medvedev Lattice of Pi01 classes, by Christopher Alfeld. Notre Dame Journal of Formal Logic, Volume 49, Issue 3, 2008, pp. 227-243.

Camouflaging Honeynets, by Yegneswaran, Vinod; Alfeld, Chris; Barford, Paul; Cai, Jin-Yi. Proceedings of IEEE Global Internet, May, 2007.

Non-Branching Degrees in the Medvedev Lattice of Pi01 Classes, by Christopher Alfeld. JSL, 72, 1, pp. 81-97, 2006.

A Solver for the Network Testbed Mapping Problem, by Robert Ricci, Chris Alfeld, and Jay Lepreau. SIGCOMM Computer Communications Review 33(2), issue dated April 2003.

.slides.

Thesis Defense - April 30, 2007. To Branch or Not To Branch: Branching and Non-Branching in the Medvedev Lattice of Pi01 Classes. (flash)

Notre Dame Logic Seminar - November 30, 2006. Non Branching and Branching in the Medvedev Lattice of Pi01 classes.

Southern Wisconsin Logic Colloquium - September 26, 2006. Non-Branching and Branching in the Medvedev Lattice of Pi01 classes.

Graduate Student Conference in Logic - April 29th, 2006. A Survey of the Medvedev and Mucnik Lattices of Pi01 classes. (flash)

Southeastern Logic Symposium - April 17th, 2005. Non-Branching Degrees in the Medvedev Lattice of Pi01 classes. (flash) - Expanded version of slides used in talk.

Logic Seminar - February 22nd, 2005. Non-Branching Degrees in the Medvedev Lattice of Pi01 classes. (flash) - A more advanced version of the talk below. (Prefer SEALS slides above)

Graduate Participation Seminar in Logic - February 3rd, 2005. Non-Branching Degrees in the Medvedev Lattice of Pi01 classes. (flash) (Prefer SEALS slides above)

Graduate Participation Seminar in Logic - September 23rd, 2004. The Forest and the Trees - An introduction to Pi01 classes.

Specialty Exam - April 20th, 2004. Embedding finite lattices as initial segments of the lattice of Pi01 classes modulo finite differences.