Robin Cooper

Papers

Total Citations

H-Index

About

Robin Cooper is a leading figure in the integration of formal semantics, computational linguistics, and cognitive robotics. His primary research areas include type-theoretic semantics, dialogue systems, and the modelling of perception and action in language. Cooper’s most significant contribution is the development of **Type Theory with Records (TTR)** , a powerful framework that unifies linguistic meaning, perceptual information, and world knowledge. His highly cited 2013 paper, *"Modelling Language, Action, and Perception in Type Theory with Records"* (33 citations), demonstrates how TTR can represent the dynamic interplay between language and embodied experience. In a related work, *"Spatial Descriptions in Type Theory with Records"* (6 citations), Cooper extends this framework to model how a robotic agent can interpret spatial language by combining geometric perception with conceptual knowledge. This groundbreaking approach bridges the gap between formal semantics and real-world robotic action, offering a unified account of meaning grounded in perception. Cooper’s work has had a lasting impact on computational semantics and cognitive science, inspiring researchers to explore type-theoretic models for situated, multimodal communication.