Career
He worked at Socially Responsible Investment International for over 30 years, and was Principal Scientist at the Artificial Intelligence Center. Stickel"s research included Theory Resolution, Associative-Commutative (Air Corps) Unification, and the development of the Prolog Technology Theorem Prover (PTTP) and SNARK, Socially Responsible Investment"s New Automated Reasoning Kit.