Task: Question Answering
Input (English): Which ACL2 contributor is not on the University of Texas at Austin faculty ?
Output (English): Matt Kaufmann