List of University of Texas at Austin faculty
College of Natural Sciences
Table:
Name

Department

Service

Notability

Alumnus

Reference

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

[47]

Molly S. Bray

Pediatrics

2013

Geneticist, Chair of the Department of Nutritional Sciences and Susan T. Jastrow Chair for Excellence in Nutritional Sciences

No

[48]

Ruth Buskirk

Biology

1990–present

Molecular genetics, microbiology

No

[49]

K. Mani Chandy

Computer Science

1970–1989

Distributed computing, including the Chandy-Lamport Algorithm for the determination of consistent global states

No

[50]

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

[51]

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

[52]

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

[53]

Katherine Freese

Physics

2019-present

Winner of the 2019 Lilienfeld Prize

No

[54]

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

[55]

Simon S. Lam

Computer Science

1977–present

Co-inventor of Secure Sockets Layer; ACM Fellow; elected to the National Academy of Engineering

No

[56]

Jennifer K. Mann Austin

Mathematics

2018-present

Research topology of DNA and unknotting mechanisms of topoisomerases

No

[57]

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

[58]

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

[59]

Lili Qiu

Computer Science

2005–present

Elected as an ACM Fellow in 2018 for "contributions to the design and analysis of wireless network protocols and mobile systems", known for her research on wireless networks

No

[59]

Sahotra Sarkar

Integrative Biology

1990–present

Specialist in the history and philosophy of science

No

Karen Uhlenbeck

Mathematics

1987-2014

Recipient of the 2019 Abel Prize; held Sid W. Richardson Foundation Regents Chair in her time at the University of Texas at Austin; in 2000, won the National Medal of Science

No

[60][61]

Robert van de Geijn

Computer Science

1987–present

No

[62]

Rachel Ward

Mathematics

2011- present

Received the IMA Prize in Mathematics and Applications in 2016; co-researcher on developing efficient algorithms using limited data

Yes

[63]

Steven Weinberg

Physics

1982–present

Nobel Laureate, author

No

[64]

Taking into account the given table as well as the textual context provided at the end.

Provide an answer to this question: What award would have had Karen Uhlenbeck meeting the President fo the United States ? Provide just your answer in a JSON object {"answer": "YOUR ANSWER"}. Do not introduce information beyond the provided sources.

A. M. Harun-ar-Rashid ( born May 1 , 1933 ) is a Bangladeshi physicist and Bose Professor of Physics at the University of Dhaka . He is the nephew of actor-writer Shamsuddin Abul Kalam .
Robert Stephen Boyer is a retired professor of computer science , mathematics , and philosophy at The University of Texas at Austin . He and J Strother Moore invented the Boyer-Moore string search algorithm , a particularly efficient string searching algorithm , in 1977 . He and Moore also collaborated on the Boyer-Moore automated theorem prover , Nqthm , in 1992 . Following this , he worked with Moore , and Matt Kaufmann on another theorem prover called ACL2 .
In computer science , the Boyer-Moore string-search algorithm is an efficient string-searching algorithm that is the standard benchmark for practical string-search literature . It was developed by Robert S. Boyer and J Strother Moore in 1977 . The algorithm preprocesses the string being searched for ( the pattern ) , but not the string being searched in ( the text ) . It is thus well-suited for applications in which the pattern is much shorter than the text or where it persists across multiple searches . The Boyer-Moore algorithm uses information gathered during the preprocess step to skip sections of the text , resulting in a lower constant factor than many other string search algorithms . In general , the algorithm runs faster as the pattern length increases . The key features of the algorithm are to match on the tail of the pattern rather than the head , and to skip along the text in jumps of multiple characters rather than searching every single character in the text .
Nqthm is a theorem prover sometimes referred to as the Boyer-Moore theorem prover . It was a precursor to ACL2 .
ACL2 ( A Computational Logic for Applicative Common Lisp ) is a software system consisting of a programming language , an extensible theory in a first-order logic , and an automated theorem prover . ACL2 is designed to support automated reasoning in inductive logical theories , mostly for the purpose of software and hardware verification . The input language and implementation of ACL2 are written in Common Lisp . ACL2 is free and open-source software .
Molly S. Bray is an American geneticist , currently the Susan T. Jastrow Human Ecology Chair for Excellence in Nutritional Sciences at University of Texas at Austin .
Ruth Buskirk is a professor at the University of Texas at Austin . She has served on the university 's faculty for over twenty five years and is a Distinguished Senior Lecturer in Biology . She holds the Worthington Endowed Professorship for Ecology and Evolutionary Biology in Plan II .
Kanianthra Mani Chandy ( born 25 October 1944 ) is the Simon Ramo Professor of Computer Science at the California Institute of Technology ( Caltech ) . He has been the Executive Officer of the Computer Science Department twice , and he has been a professor at Caltech since 1989 . He also served as Chair of the Division of Engineering and Applied Science at the California Institute of Technology .
The Chandy-Lamport algorithm is a snapshot algorithm that is used in distributed systems for recording a consistent global state of an asynchronous system . It was developed by and named after Leslie Lamport and K. Mani Chandy .
Edsger Wybe Dijkstra ( /ˈdaɪkstrə/ ; Dutch : [ ˈɛtsxər ˈʋibə ˈdɛikstra ] ( listen ) ; 11 May 1930 - 6 August 2002 ) was a Dutch systems scientist , programmer , software engineer , science essayist , and pioneer in computing science . A theoretical physicist by training , he worked as a programmer at the Mathematisch Centrum ( Amsterdam ) from 1952 to 1962 . A university professor for much of his life , Dijkstra held the Schlumberger Centennial Chair in Computer Sciences at the University of Texas at Austin from 1984 until his retirement in 1999 . He was a professor of mathematics at the Eindhoven University of Technology ( 1962-1984 ) and a research fellow at the Burroughs Corporation ( 1973-1984 ) . One of the most influential figures of computing science 's founding generation , Dijkstra helped shape the new discipline from both an engineering and a theoretical perspective . His fundamental contributions cover diverse areas of computing science , including compiler construction , operating systems , distributed systems , sequential and concurrent programming , programming paradigm and methodology , programming language research , program design , program development , program verification , software engineering principles , graph algorithms , and philosophical foundations of computer programming and computer science . Many of his papers are the source of new research areas . Several concepts and problems that are now standard in computer science were first identified by Dijkstra and/or bear names coined by him . As a foremost opponent of the mechanizing view of computing science , he refuted the use of the concepts of 'computer science ' and 'software engineering ' as umbrella terms for academic disciplines . Until the mid-1960s computer programming was considered more an art ( or a craft ) than a scientific discipline . In Harlan Mills 's words ( 1986 ) , programming [ before the 1970s ] was regarded as a private , puzzle-solving activity of writing computer instructions to work as a program . In the late 1960s , computer programming was in a state of crisis .
The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery ( ACM ) to an individual selected for contributions of lasting and major technical importance to the computer field . The Turing Award is generally recognized as the highest distinction in computer science and thus as the Nobel Prize of computing . The award is named after Alan Turing , a British mathematician and reader in mathematics at the University of Manchester . Turing is often credited as being the key founder of theoretical computer science and artificial intelligence . From 2007 to 2013 , the award was accompanied by an additional prize of US $ 250,000 , with financial support provided by Intel and Google . Since 2014 , the award has been accompanied by a prize of US $ 1 million , with financial support provided by Google . The first recipient , in 1966 , was Alan Perlis , of Carnegie Mellon University . The first female recipient was Frances E. Allen of IBM in 2006 .
ACM Fellowship is an award and fellowship that recognises outstanding members of the Association for Computing Machinery ( ACM ) . The title of ACM Fellow indicates excellence , as evidenced by technical , professional and leadership contributions that :
Livia Schiavinato Eberlin is a Brazilian analytical chemist who won a MacArthur Genius Fellowship for her research on the use of mass spectrometry to detect cancerous tissue .
E. Allen Emerson ( born June 2 , 1954 ) is an American computer scientist . He is Professor and Regents Chair Emeritus at the University of Texas , Austin , United States . He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for the invention and development of Model checking . He is also the recipient of the 1998 ACM Paris Kanellakis Award Theory and Practice Award for Symbolic Model Checking . He received his BS degree in mathematics from the University of Texas , Austin in 1976 and his PhD degree in applied mathematics at Harvard University in 1981 .
In computer science , model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification ( a.k.a . correctness ) . This is typically associated with hardware or software systems , where the specification contains liveness requirements ( such as avoidance of livelock ) as well as safety requirements ( such as avoidance of states representing a system crash ) . In order to solve such a problem algorithmically , both the model of the system and its specification are formulated in some precise mathematical language . To this end , the problem is formulated as a task in logic , namely to check whether a structure satisfies a given logical formula . This general concept applies to many kinds of logic as well as suitable structures . A simple model-checking problem consists of verifying whether a formula in the propositional logic is satisfied by a given structure .
Katherine Freese is a theoretical astrophysicist . She is currently a professor of physics at the University of Texas at Austin , where she holds the Jeff and Gail Kodosky Endowed Chair in Physics . She is known for her work in theoretical cosmology at the interface of particle physics and astrophysics .
The Julius Edgar Lilienfeld Prize of the American Physical Society , to remember Julius Edgar Lilienfeld , has been awarded annually , since 1989 . ( It was not awarded in 2002 ) . The purpose of the Prize is to recognize outstanding contributions to physics .
Kristen Lorraine Grauman is a Professor of Computer Science at the University of Texas at Austin on leave as a research scientist at Facebook AI Research ( FAIR ) . She works on computer vision and machine learning .
Simon Sin-Sing Lam ( 林善成 ) is Professor and Regents Chair in Computer Science at The University of Texas at Austin . He was born in Macau in 1947 , and then moved to Hong Kong in 1959 . He received a B.S . with Distinction in Electrical Engineering from Washington State University in 1969 , and M.S . and Ph.D. degrees in engineering from UCLA in 1970 and 1974 , respectively .
Transport Layer Security ( TLS ) , and its now-deprecated predecessor , Secure Sockets Layer ( SSL ) , are cryptographic protocols designed to provide communications security over a computer network . Several versions of the protocols find widespread use in applications such as web browsing , email , instant messaging , and voice over IP ( VoIP ) . Websites can use TLS to secure all communications between their servers and web browsers . The TLS protocol aims primarily to provide privacy and data integrity between two or more communicating computer applications . :3 When secured by TLS , connections between a client ( e.g. , a web browser ) and a server ( e.g. , wikipedia.org ) should have one or more of the following properties :
The National Academy of Engineering ( NAE ) is an American nonprofit , non-governmental organization . The National Academy of Engineering is part of the National Academies of Sciences , Engineering , and Medicine , along with the National Academy of Sciences ( NAS ) , the National Academy of Medicine , and the National Research Council . The NAE operates engineering programs aimed at meeting national needs , encourages education and research , and recognizes the superior achievements of engineers . New members are annually elected by current members , based on their distinguished and continuing achievements in original research . The NAE is autonomous in its administration and in the selection of its members , sharing with the rest of the National Academies the role of advising the federal government .
J Strother Moore ( his first name is the alphabetic character J - not an abbreviated J . ) is a computer scientist , and he is a co-developer of the Boyer-Moore string search algorithm , Boyer-Moore majority vote algorithm , and the Boyer-Moore automated theorem prover , Nqthm . He made pioneering contributions to structure sharing including the piece table data structure and early logic programming . An example of the workings of the Boyer-Moore string search algorithm is given in Moore 's website . Moore received his SB in mathematics at Massachusetts Institute of Technology in 1970 and his Ph.D. in computational logic at the University of Edinburgh in Scotland in 1973 . In addition , Moore is a co-author of the ACL2 automated theorem prover . He and others used ACL2 to prove the correctness of the floating point division operations of the AMD K5 microprocessor in the wake of the Pentium FDIV bug . For his contributions to automated deduction , Moore received the 1999 Herbrand Award with Robert S. Boyer , and in 2006 he was inducted as a Fellow of the Association for Computing Machinery . Moore was elected to the National Academy of Engineering in 2007 , and is a Fellow of the AAAI . He was elected a Corresponding Fellow of the Royal Society of Edinburgh in 2015 . He is currently the Admiral B.R . Inman Centennial Chair in Computing Theory at The University of Texas at Austin , and was Chair of the Department of Computer Science from 2001-2009 .
Nancy A. Moran ( born December 21 , 1954 , Dallas , Texas ) is an American evolutionary biologist and entomologist , University of Texas Leslie Surginer Endowed Professor , and co-founder of the Yale Microbial Diversity Institute . Since 2005 , she has been a member of the United States National Academy of Sciences . Her seminal research has focused on the pea aphid , Acyrthosiphon pisum and its bacterial symbionts including Buchnera ( bacterium ) . In 2013 , she returned to the University of Texas at Austin , where she continues to conduct research on bacterial symbionts in aphids , bees , and other insect species . She has also expanded the scale of her research to bacterial evolution as a whole . She believes that a good understanding of genetic drift and random chance could prevent misunderstandings surrounding evolution . Her current research goal focuses on complexity in life-histories and symbiosis between hosts and microbes , including the microbiota of insects .
The American Academy of Arts and Sciences is one of the oldest learned societies in the United States . Founded in 1780 , the Academy is dedicated to honoring excellence and leadership , working across disciplines and divides , and advancing the common good . Membership in the academy is achieved through a thorough petition , review , and election process and has been considered a high honor of scholarly and societal merit ever since the academy was founded during the American Revolution by John Adams , John Hancock , James Bowdoin , and others of their contemporaries who contributed prominently to the establishment of the new nation , its government , and the United States Constitution . Today the Academy is charged with a dual function : to elect to membership the finest minds and most influential leaders , drawn from science , scholarship , business , public affairs , and the arts , from each generation , and to conduct policy studies in response to the needs of society . Major Academy projects now have focused on higher education and research , humanities and cultural studies , scientific and technological advances , politics , population and the environment , and the welfare of children . Dædalus , the Academy 's quarterly journal , is widely regarded as one of the world 's leading intellectual journals . The Academy carries out nonpartisan policy research by bringing together scientists , scholars , artists , policymakers , business leaders , and other experts to make multidisciplinary analyses of complex social , political , and intellectual topics . The Academy 's current areas of work are Arts & Humanities , Democracy & Justice , Education , Energy & Environment , Global Affairs , and Science & Technology . David W. Oxtoby began his term as the organization 's president in January 2019 . A chemist by training , he served as President of Pomona College from 2003 to 2017 . He was elected a member of the American Academy in 2012 . The Academy is headquartered in Cambridge , Massachusetts .
The National Academy of Sciences ( NAS ) is a United States nonprofit , non-governmental organization . NAS is part of the National Academies of Sciences , Engineering , and Medicine , along with the National Academy of Engineering ( NAE ) and the National Academy of Medicine ( NAM ) . As a national academy , new members of the organization are elected annually by current members , based on their distinguished and continuing achievements in original research . Election to the National Academy is one of the highest honors in the scientific field . Members of the National Academy of Sciences serve pro bono as advisers to the nation on science , engineering , and medicine . The group holds a congressional charter under Title 36 of the United States Code . Founded in 1863 as a result of an Act of Congress that was approved by Abraham Lincoln , the NAS is charged with providing independent , objective advice to the nation on matters related to science and technology . … to provide scientific advice to the government 'whenever called upon ' by any government department . The Academy receives no compensation from the government for its services .
The International Prize for Biology ( 国際生物学賞 , Kokusai Seibutsugaku-shō ) is an annual award for outstanding contribution to the advancement of research in fundamental biology . The Prize , although it is not always awarded to a biologist , is one of the most prestigious honours a natural scientist can receive . There are no restrictions on the nationality of the recipient . Past laureates include John B. Gurdon , Motoo Kimura , Edward O. Wilson , Ernst Mayr , Thomas Cavalier-Smith , Yoshinori Ohsumi and many other great biologists in the world .
Lili Qiu ( born July 1975 ) is a Chinese computer scientist known for her research on wireless networks . She is a professor of computer science at the University of Texas at Austin .
A wireless network is a computer network that uses wireless data connections between network nodes . Wireless networking is a method by which homes , telecommunications networks and business installations avoid the costly process of introducing cables into a building , or as a connection between various equipment locations . admin telecommunications networks are generally implemented and administered using radio communication . This implementation takes place at the physical level ( layer ) of the OSI model network structure . Examples of wireless networks include cell phone networks , wireless local area networks ( WLANs ) , wireless sensor networks , satellite communication networks , and terrestrial microwave networks .
Sahotra Sarkar ( born 1962 ) is an Indian-American professor at the University of Texas at Austin .
Karen Keskulla Uhlenbeck ( born August 24 , 1942 ) is an American mathematician and a founder of modern geometric analysis . She is a professor emeritus of mathematics at the University of Texas at Austin , where she held the Sid W. Richardson Foundation Regents Chair . She is currently a Distinguished Visiting Professor at the Institute for Advanced Study and a visiting senior research scholar at Princeton University . Uhlenbeck won the 2019 Abel Prize for her pioneering achievements in geometric partial differential equations , gauge theory , and integrable systems , and for the fundamental impact of her work on analysis , geometry and mathematical physics . She is the first woman to win the prize since its inception in 2003 .
The Abel Prize /ˈɑːbəl/ ( Norwegian : Abelprisen ) is a Norwegian prize awarded annually by the King of Norway to one or more outstanding mathematicians . It is named after Norwegian mathematician Niels Henrik Abel ( 1802-1829 ) and directly modeled after the Nobel Prizes . It comes with a monetary award of 7.5 million Norwegian Kroner ( NOK ) . The Abel Prize 's history dates back to 1899 , when its establishment was proposed by the Norwegian mathematician Sophus Lie when he learned that Alfred Nobel 's plans for annual prizes would not include a prize in mathematics . In 1902 , King Oscar II of Sweden and Norway indicated his willingness to finance a mathematics prize to complement the Nobel Prizes , but the establishment of the prize was prevented by the dissolution of the union between Norway and Sweden in 1905 . It took almost a century before the prize was finally established by the Government of Norway in 2001 , and it was specifically intended to give the mathematicians their own equivalent of a Nobel Prize . The laureates are selected by the Abel Committee , the members of which are appointed by the Norwegian Academy of Science and Letters . The award ceremony takes place in the Aula of the University of Oslo , where the Nobel Peace Prize was awarded between 1947 and 1989 . The Abel Prize board has also established an Abel symposium , administered by the Norwegian Mathematical Society .
The Sid W. Richardson Foundation is a philanthropic organization , founded in 1947 by Sid W. Richardson ( 1891 - 1959 ) , a Texan who earned his fortune in the oil industry . The foundation was primarily funded after his death . Today , the foundation focuses on public-private partnerships in the area of education , health , human services , and arts groups , to which it has donated about $ 300 million . The charter of the foundation stipulated that recipients be in the state of Texas . The foundation was led from 1973 to 2011 by Valleau Wilkie Jr , and its current president is Pete Geren , however each of the Bass Brothers and their children currently run the board and subsequent grants . The foundation is housed in the same building as the Sid Richardson Museum which features Remington and Russell paintings collected by Sid W. Richardson .
The National Medal of Science is an honor bestowed by the President of the United States to individuals in science and engineering who have made important contributions to the advancement of knowledge in the fields of behavioral and social sciences , biology , chemistry , engineering , mathematics and physics . The twelve member presidential Committee on the National Medal of Science is responsible for selecting award recipients and is administered by the National Science Foundation ( NSF ) .
Robert A. van de Geijn is a Professor of Computer Sciences at the University of Texas at Austin . He received his B.S . in Mathematics and Computer Science ( 1981 ) from the University of Wisconsin-Madison and his Ph.D. in Applied Mathematics ( 1987 ) from the University of Maryland , College Park . His areas of interest include numerical analysis and parallel processing .
Rachel Claire Ward , AM ( born 12 September 1957 ) is an English-born Australian actress , film director , television director , and screenwriter .
The Institute for Mathematics and its Applications located at the University of Minnesota is an organization established in 1982 by the National Science Foundation ( NSF ) of the United States .
Steven Weinberg ForMemRS ( /ˈwaɪnbɜːrɡ/ ; born May 3 , 1933 ) is an American theoretical physicist and Nobel laureate in Physics for his contributions with Abdus Salam and Sheldon Glashow to the unification of the weak force and electromagnetic interaction between elementary particles . He holds the Josey Regental Chair in Science at the University of Texas at Austin , where he is a member of the Physics and Astronomy Departments . His research on elementary particles and physical cosmology has been honored with numerous prizes and awards , including in 1979 the Nobel Prize in Physics and in 1991 the National Medal of Science . In 2004 he received the Benjamin Franklin Medal of the American Philosophical Society , with a citation that said he is considered by many to be the preeminent theoretical physicist alive in the world today . He has been elected to the US National Academy of Sciences and Britain 's Royal Society , as well as to the American Philosophical Society and the American Academy of Arts and Sciences . Weinberg 's articles on various subjects occasionally appear in The New York Review of Books and other periodicals . He has served as consultant at the U. S. Arms Control and Disarmament Agency , President of the Philosophical Society of Texas , and member of the Board of Editors of Daedalus magazine , the Council of Scholars of the Library of Congress , the JASON group of defense consultants , and many other boards and committees .