University of London, UK - Type theory, theoretical computer science and semantics of natural languages.