David Plaisted
Computer Science, Person
Who is David Plaisted?
David Alan Plaisted is a computer science professor at the University of North Carolina at Chapel Hill.
Plaisted's research interests include term rewriting systems, automated theorem proving, logic programming, and algorithms. His research accomplishments in theorem proving include work on the recursive path ordering, the associative path ordering, abstraction, the simplified and modified problem reduction formats, ground reducibility, nonstandard clause form translations, rigid E-unification, Knuth–Bendix completion, replacement rules in theorem proving, instance-based theorem proving strategies, and semantics in theorem proving.
He received his B.S. from the University of Chicago in 1970 and his Ph.D. from Stanford University in 1976. He served on the faculty of the computer science department at the University of Illinois at Urbana-Champaign until 1984, and since then has been a full professor in the Department of Computer Science at the University of North Carolina at Chapel Hill.
Plaisted has authored or co-authored publications in computer science, which are cited by academics in this field.
We need you!
Help us build the largest biographies collection on the web!
- Religion
- Creationism
- Nationality
- United States of America
- Education
- Bachelor of Science, University of Chicago
Computer Science
( - 1970) - Doctorate, Stanford University
Computer Science
( - 1976)
- Bachelor of Science, University of Chicago
- Employment
- University of North Carolina at Chapel Hill
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"David Plaisted." Biographies.net. STANDS4 LLC, 2024. Web. 17 Apr. 2024. <https://www.biographies.net/people/en/david_plaisted>.
Discuss this David Plaisted biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In