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.