I am interested in the human ability to learn and use language, particularly at the level of syntax, and I approach it using mathematical tools. Of the two, the learning problem is much harder and more constrained, and I have been developing a set of mathematical tools for learning the sorts of grammars that we think are good representations of syntax. This ends up looking like a weird sort of theoretical machine learning, but I consider it theoretical linguistics.