Aaron is a graduate student in Computer Science.
He previously completed a BS in Computer Science at Wright State and BA in Philosophy at the University of Pittsburgh.
Aaron is primarily interested in computation and logic, with a focus of description logics. In his spare time, he also considers methods for augmenting logical reasoning with machine learning strategies and neural networks. Currently Aaron is involved in a project with the AFOSR that attempts to fit a symbolic cognitive agent with an ontology to help identify gaps in its knowledge.
Aaron worked on a poster for ESWC about random ALC syntax generation during the time between his undergrad and masters. He worked as a grader for CS2210 - Logic for Computer Scientists, and in Spring '17 he worked on an independent study in which he used description logic to model relations in the FrameNet database.