Definition: In this task, you will be presented with a question and you have to answer the question based on your knowledge. Your answers should be as short as possible.
Input: Which ACL2 contributor is not on the University of Texas at Austin faculty ?

Matt Kaufmann