# David Plaisted > computer scientist **Wikidata**: [Q5238604](https://www.wikidata.org/wiki/Q5238604) **Wikipedia**: [English](https://en.wikipedia.org/wiki/David_Plaisted) **Source**: https://4ort.xyz/entity/david-plaisted ## Summary David Plaisted is a computer scientist born in 1950, known for his significant contributions to the field of computer science. He was recognized with the Herbrand Award in 2010 for his work in automated reasoning. Plaisted has been affiliated with institutions such as the University of North Carolina at Chapel Hill and the University of Illinois Urbana–Champaign. ## Biography - Born: 1950 - Education: University of Chicago, Stanford University - Known for: Contributions to computer science, recipient of the Herbrand Award - Employer(s): University of North Carolina at Chapel Hill, University of Illinois Urbana–Champaign - Field(s): Computer science ## Contributions David Plaisted has made significant contributions as a computer scientist, a career that was formally recognized with the Herbrand Award in 2010. This prestigious award is bestowed upon individuals for their outstanding work in automated reasoning, indicating the impact and quality of Plaisted's research in this specialized area of computer science. His academic career also includes a vital role in education and mentorship, having served as a doctoral advisor to students such as Jieh Hsiang and M. Paramasivam. This role is crucial for the development of future generations of computer scientists. Plaisted himself completed his doctoral studies in 1976 at Stanford University, where he was advised by the notable American computer scientist Robert W. Floyd. Throughout his career, he has been affiliated with prominent academic institutions, including the University of North Carolina at Chapel Hill and the University of Illinois Urbana–Champaign, contributing to their research and educational missions. While specific publications or detailed research projects are not outlined in the provided information, the Herbrand Award stands as a testament to his substantial and recognized body of work within the field. ## FAQs ### Q: Who is David Plaisted? A: David Plaisted is a computer scientist born in 1950. He is known for his work in computer science, particularly in automated reasoning, and received the Herbrand Award in 2010. ### Q: What is David Plaisted known for? A: David Plaisted is known for his contributions to computer science, especially in the area of automated reasoning, for which he received the Herbrand Award in 2010. He also served as a doctoral advisor to students. ### Q: Where did David Plaisted receive his education? A: David Plaisted was educated at the University of Chicago and Stanford University. He completed his doctoral studies at Stanford University in 1976, advised by Robert W. Floyd. ### Q: What award did David Plaisted receive? A: David Plaisted received the Herbrand Award in 2010. This award recognizes significant contributions to automated reasoning. ### Q: Which institutions has David Plaisted been affiliated with? A: David Plaisted has been employed by the University of North Carolina at Chapel Hill and the University of Illinois Urbana–Champaign. ## Why They Matter David Plaisted's significance in the field of computer science stems from his recognized contributions to automated reasoning, highlighted by his receipt of the Herbrand Award in 2010. This award signifies that his work has had a lasting impact on the methodologies and theoretical underpinnings of automated reasoning, a critical area for artificial intelligence and formal verification. His role as a doctoral advisor to students like Jieh Hsiang and M. Paramasivam further underscores his influence, as he has directly shaped the next generation of computer scientists. By guiding these students, Plaisted has contributed to the continuity and expansion of research within the discipline. His academic career, including his own doctoral studies under the renowned Robert W. Floyd at Stanford University, places him within a distinguished lineage of computer science scholars. Through his employment at institutions such as the University of North Carolina at Chapel Hill and the University of Illinois Urbana–Champaign, he has contributed to the academic environment and research output of these universities, leaving a legacy through both his direct research and his educational impact. ## Notable For * Recipient of the Herbrand Award in 2010 for contributions to automated reasoning. * Doctoral advisor to Jieh Hsiang and M. Paramasivam. * Doctoral student of American computer scientist Robert W. Floyd at Stanford University. * Affiliation with prominent academic institutions including the University of North Carolina at Chapel Hill and the University of Illinois Urbana–Champaign. * Holds an Erdős number of 2. ## Body ### Early Life and Education David Plaisted was born in 1950. He pursued his higher education at two notable American institutions. He studied at the University of Chicago and later at Stanford University. In 1976, he completed his doctoral studies at Stanford University, where his doctoral advisor was the distinguished American computer scientist Robert W. Floyd. ### Career and Affiliations Plaisted's career as a computer scientist has included affiliations with several academic institutions. He has been employed by the University of North Carolina at Chapel Hill and the University of Illinois Urbana–Champaign. His occupation is defined as a computer scientist, a professional who studies or practices computer science. ### Key Achievements and Recognition A significant recognition of David Plaisted's work came in 2010 when he received the Herbrand Award. This award is given for substantial contributions to the field of automated reasoning. Beyond his own research, Plaisted has also contributed to the academic community by serving as a doctoral advisor. His doctoral students include Jieh Hsiang and M. Paramasivam. He also holds an Erdős number of 2, indicating his connection to the prolific mathematician Paul Erdős through co-authorship. ### Academic Lineage Plaisted's academic lineage connects him to prominent figures in computer science. He was a doctoral student of Robert W. Floyd, a renowned American computer scientist. In turn, Plaisted has advised his own doctoral students, continuing the academic tradition. ## References 1. Mathematics Genealogy Project 2. [Mathematics Genealogy Project](https://www.genealogy.math.ndsu.nodak.edu/id.php?id=98855) 3. Virtual International Authority File 4. National Library of Israel Names and Subjects Authority File