Aaron is working on his master's in Computer Science.
He previously completed a BS in Computer Science at Wright State and 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.