Main

Welcome to my home page. See below the information that has been added/modified to my web page.

Please visit our group's homepage

See my genealogy in the Mathematics Genealogy Project

I spend most of my time working on machine learning. We are developing techniques that help Unsupervised/Supervised Parsing of Natural Language and Lemma Generation for the ACL2 theorem proving.