Artificial intelligence, formal commonsense reasoning, cognitive modeling. NSF Career Award. Ph.D., University of California at Irvine, 1991. NSF Presidential Young Investigator, Packard Fellow. Ph.D., Cornell University, 1988.
Supercomputer compilers, programming languages, practical algorithms.
Ph.D., University of Illinois at Urbana, 1986. Ph.D. University of Florida, 1987. Research Professor, Neurology. NSF Presidential Young Investigator. M.D., University of Maryland, 1975.