Experience
Education
Bio
Research Interests:
Computational Linguistics
Grammatical formalisms, especially Categorial Grammar
Parsing, theorem proving