List of University of Texas at Austin faculty

Columns: Name | Department | Service | Notability | Alumnus
A. M. Harun-ar-Rashid | Physics | 1975 | Quantum field theory , relativity , mechanics | No | Robert S. Boyer | Computer Science | 1981-2008 | Co-inventor of the Boyer-Moore string search algorithm ; co-creator of the Nqthm and ACL2 theorem provers | Yes | Molly S. Bray | Pediatrics | 2013 | Geneticist , Chair of the Department of Nutritional Sciences and Susan T. Jastrow Chair for Excellence in Nutritional Sciences | No | Ruth Buskirk | Biology | 1990-present | Molecular genetics , microbiology | No | K. Mani Chandy | Computer Science | 1970-1989 | Distributed computing , including the Chandy-Lamport Algorithm for the determination of consistent global states | No | Edsger W. Dijkstra | Computer Science | 1984-2000 | Numerous foundational contributions to various computing disciplines , especially programming languages , formal verification , and distributed computing ; Turing Award for fundamental contributions in the area of programming languages ; ACM Fellow | No | Livia S. Eberlin | Chemistry | 2016-present | Co-inventor of the MasSpec Pen , MacArthur Genius Grant and Sloan Research Fellowship , numerous other awards and honors | No

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