Mathematical logician and Java developer. Author of a recursive logic tree engine (FOL, propositional logic, CNF/DNF minimization), originally built in 2002 and now open-sourced at: https://treeofknowledge.eu