List of University of Texas at Austin faculty

Columns: Name | Department | Service | Notability | Alumnus
E. Allen Emerson | Computer Science | ? -present | Turing Award for developing model checking into a highly effective verification technology , widely adopted in the hardware and software industries | Yes | Katherine Freese | Physics | 2019-present | Winner of the 2019 Lilienfeld Prize | No | Kristen L. Grauman | Computer Science | 2007 - present | Professor ; researcher , computer vision and machine learning ; elected to UT 's Academy of Distinguished Teachers in 2017 | No | Simon S. Lam | Computer Science | 1977-present | Co-inventor of Secure Sockets Layer ; ACM Fellow ; elected to the National Academy of Engineering | No | Jennifer K. Mann Austin | Mathematics | 2018-present | Research topology of DNA and unknotting mechanisms of topoisomerases | No | J Strother Moore | Computer Science | 1981-1988 , 1997-present | Co-inventor of the Boyer-Moore string search algorithm ; co-creator of the Nqthm and ACL2 theorem provers ; ACM Fellow ; elected to the National Academy of Engineering ; department chair 2001-2009 | No | Nancy A. Moran | Integrative Biology | 2013-present | Fellow of the American Academy of Arts and Sciences ; elected to the National Academy of Sciences ; 2010 winner of the International Prize for Biology | Yes

Example questions:
What award have University of Texas at Austin College of Natural Sciences faculty members Steven Weinberg and Karen Uhlenbeck both earned ? | Which ACL2 contributor is not on the University of Texas at Austin College of Natural Sciences faculty ? | What award would have had University of Texas at Austin College of Natural Sciences faculty member Karen Uhlenbeck meeting the President fo the United States ? | University of Texas at Austin College of Natural Sciences faculty member Karen Uhlenbeck accepted her 2019 award in a facility better known for what prize ?

Answers:
National Medal of Science | Matt Kaufmann | National Medal of Science | Nobel Peace Prize