I'm a research staff member at the IBM T.J. Watson Research Center in Hawthorne, NY.
My web page is at http://www-formal.stanford.edu/leora
My background is in knowledge representation, using logic (first-order, nonmonotonic, and/or modal) to formalize commonsense reasoning, and the development of ontologies for commonsense reasoning. I am especially interested in using formal methods for practical and commercial applications.
Email: <email@example.com> (preferred) or firstname.lastname@example.org