Question: Which ACL2 contributor is not on the University of Texas at Austin College of Natural Sciences faculty ?
Answer: Matt Kaufmann