My bachelors was a double major in Philosophy and Computer Science. My present work is involved with extending the attribute logic underlying formal concept analysis to express klm-style non-monotonic reasoning. More generally I am interested in lattice-theory, logic programming, and (increasingly) program synthesis.
Research
2024
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences