Formal epistemologist and computational philosopher: I am enthusiastic about working with computers at the nexus of philosophy and logic.