- About Us
- Affiliates and Liaisons
My research interests are in logic, especially areas of overlap between logic and computer science, and logic and linguistics. I have been involved in several areas of this overlap, including studies of grammar formalisms, non-wellfounded sets, the math ematics of language, and foundational work on recursion and on the semantics of programming.
Bold student names indicate a cognitive science standalone student.
|Martinez, M.||Commonsense Reasoning Via Product State Spaces (July 2004)||Moss, L. (Co-Chair), Gasser, M. (Co-Chair), Maki, D., McCarty, D.|
|Scheutz, M.||The Missing Link: Implementation And Realization of Communication in Computer And Cognitive Science (September 1999)||Smith, B. (Co-Chair), Gasser, M. (Co-Chair), Moss, L., Port, R.|
|Tiede, H.||Deductive Systems And Grammars: Proofs as Grammatical Structure (July 1999)||Moss, L. (Chair), Barwise, K. J. Benthem, J. F. A. K., McCarty, D. C., Pierce, B. C.|
|Tiede, H.||Causation, Causal Perception, And Conservation Laws (November 1999)||Moss, L. (Chair), Friedman, M., Bingham, G., Koertge, N., Suppe, F.,|
|Lara-Dammer, Francisco||Modeling Human Discoverativity in Geometry (December 2009)||Hofstadter, D. (Chair), Gasser, M., Leake, D., Moss, L., Port, R.|
|Abramson, Darren||Computability and Mind (June 2006)||McCarty, D. (Co-Chair), Moss, L. (Co-Chair), Weinberg, J., McLaughlin, B.|
|Lee, Seunghwan||Probabilistic Reasoning on Metric Spaces (August 2006)||Moss, L. (Chair), Bradley, R., Leake, D., Van Gucht, D.|