Hi there! I'm a Northwestern philosophy graduate student working largely in applying formal methods to various subareas of philosophy in the interest of generating domain-specific ontologies, identifying and clearing up verbal disputes, and illustrating to the public just how useful formal methods can be inside and outside the academy.