Professor Beaver researches and teaches on the semantics and pragmatics of natural languages, in particular on how information is organized at the sentence and discourse level. Within this, he has worked on presupposition, anaphora, topic and focus. He also has interests in temporal and event semantics, in simulations of language evolution, and in broader philisophical, psychological and computational themes from cognitive science.