Leora Morgenstern
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.
Contact
Email: <leora@steam.stanford.edu> (preferred) or leora@us.ibm.com