Ph.D. candidate at Indiana University, Bloomington. My research concerns the application of computational methods to epistemic logic, formal learning and knowledge representation.