My current research at AI2 aims to improve a computer's comprehension of mathematical natural language -- the kind of text encountered in a mathematical textbook or exam. Our current challenge is to have a computer pass the mathematics portion of a previously unseen Scholastic Aptitude Test (SAT).
Prior to joining AI2, I spent approximately five years at Language Weaver (later acquired by SDL), where I managed the research and development of next-generation statistical machine translation pipelines. I obtained a Ph.D. in computer science from UCLA and a B.A. in computer science from UC Berkeley.