David Alan Plaisted is a computer science professor at the
University of North Carolina at Chapel Hill.
Research interests
Plaisted's research interests include
term rewriting system
In mathematics, computer science, and logic, rewriting covers a wide range of methods of replacing subterms of a formula with other terms. Such methods may be achieved by rewriting systems (also known as rewrite systems, rewrite engines, or red ...
s,
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 In logic and computer science, unification is an algorithmic process of solving equations between symbolic expression (mathematics), expressions.
Depending on which expressions (also called ''terms'') are allowed to occur in an equation set (also c ...
,
Knuth–Bendix completion, replacement rules in theorem proving, instance-based theorem proving strategies, and semantics in theorem proving.
Education and career
He received his
B.S. from the
University of Chicago in 1970 and his
Ph.D. from
Stanford University
Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...
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. He has authored or co-authored publications in computer science, which are cited by academics in this field. He has served on a number of program committees and on the editorial boards of a number of journals, including the
Journal of Symbolic Computation, Information Processing Letters, Mathematical Systems Theory, and Fundamenta Informaticae. Plaisted spent a sabbatical at
SRI International in
Menlo Park, California in 1982 and 1983 and another at the
Max Planck Institute for Software Systems
The Max Planck Institute for Software Systems (MPI-SWS) is a computer science research institute co-located in Saarbrücken and Kaiserslautern, Germany. The institute is chartered to conduct basic research in all areas related to the design, anal ...
and the
University of Kaiserslautern in Germany in 1993 and 1994. Plaisted operates a
Young Earth creation
Young may refer to:
* Offspring, the product of reproduction of a new organism produced by one or more parents
* Youth, the time of life when one is young, often meaning the time between childhood and adulthood
Music
* The Young, an American roc ...
website called A Creation Perspective.
References
External links
Plaisted's page at UNC*
{{DEFAULTSORT:Plaisted, David
University of Chicago alumni
Living people
Year of birth missing (living people)
American computer scientists
University of North Carolina at Chapel Hill faculty
Stanford University alumni
University of Illinois Urbana-Champaign faculty