which acl2 contributor is not on the university of texas at austin faculty ?
matt kaufmann