Aaron recently finished bachelor's degree in Computer Science at Wright State.
He previously completed a BA in Philosophy at the University of Pittsburgh.
Aaron worked as a grader for CS2210 - Logic for Computer Scientists. In Spring '17 he worked on an independent study in which he used description logic to model relations in the FrameNet database.
His current projects include Random ALC Sntax Generation, Machine Learning Assisted Tableau Reasoning, and other Description Logic topics.