Papers

• Computably Enumerable Equivalence Relations (pdf, .bib) with Su Gao. Studia Logica, 67(1):27-59 (2001).

Talks

• Talk at ASL/AMA 2008 Joint Meeting in San Diego (abstract, slides)
• Talk at 8th Graduate Student Conference in Logic in Chicago (abstract, slides)

Misc

• Research Description (pdf)