David Plaisted
Encyclopedia
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 algorithm
s.
He received his B.S. from the University of Chicago
in 1970 and his Ph.D.
from Stanford University
in 1976.
Prof. Plaisted has authored or co-authored numerous publications in a variety of fields of computer science, which are widely cited by academics in these fields. He has also 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. Prof. 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
and the University of Kaiserslautern
in Germany in 1993 and 1994.
University of North Carolina at Chapel Hill
The University of North Carolina at Chapel Hill is a public research university located in Chapel Hill, North Carolina, United States...
.
Plaisted's research interests include term rewriting systems, automated theorem proving
Automated theorem proving
Automated theorem proving or automated deduction, currently the most well-developed subfield of automated reasoning , is the proving of mathematical theorems by a computer program.- Decidability of the problem :...
, logic programming
Logic programming
Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a...
, and algorithm
Algorithm
In mathematics and computer science, an algorithm is an effective method expressed as a finite list of well-defined instructions for calculating a function. Algorithms are used for calculation, data processing, and automated reasoning...
s.
He received his B.S. from the University of Chicago
University of Chicago
The University of Chicago is a private research university in Chicago, Illinois, USA. It was founded by the American Baptist Education Society with a donation from oil magnate and philanthropist John D. Rockefeller and incorporated in 1890...
in 1970 and his Ph.D.
Ph.D.
A Ph.D. is a Doctor of Philosophy, an academic degree.Ph.D. may also refer to:* Ph.D. , a 1980s British group*Piled Higher and Deeper, a web comic strip*PhD: Phantasy Degree, a Korean comic series* PhD Docbook renderer, an XML renderer...
from Stanford University
Stanford University
The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is a private research university on an campus located near Palo Alto, California. It is situated in the northwestern Santa Clara Valley on the San Francisco Peninsula, approximately northwest of San...
in 1976.
Prof. Plaisted has authored or co-authored numerous publications in a variety of fields of computer science, which are widely cited by academics in these fields. He has also served on a number of program committees and on the editorial boards of a number of journals, including the Journal of Symbolic Computation
Journal of Symbolic Computation
The Journal of Symbolic Computation is a peer-reviewed monthly scientific journal covering all aspects of symbolic computation published by Academic Press. It is targeted to both mathematicians and computer scientists...
, Information Processing Letters, Mathematical Systems Theory, and Fundamenta Informaticae. Prof. Plaisted spent a sabbatical at SRI International
SRI International
SRI International , founded as Stanford Research Institute, is one of the world's largest contract research institutes. Based in Menlo Park, California, the trustees of Stanford University established it in 1946 as a center of innovation to support economic development in the region. It was later...
in Menlo Park, California
Menlo Park, California
Menlo Park, California is a city at the eastern edge of San Mateo County, in the San Francisco Bay Area of California, in the United States. It is bordered by San Francisco Bay on the north and east; East Palo Alto, Palo Alto, and Stanford to the south; Atherton, North Fair Oaks, and Redwood City...
in 1982 and 1983 and another at the Max Planck Institute for Software Systems
Max Planck Institute for Software Systems
The Max Planck Institute for Software Systems 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, analysis, modeling, implementation and evaluation of complex...
and the University of Kaiserslautern
University of Kaiserslautern
The University of Kaiserslautern is a university in Kaiserslautern, Germany. It was founded in 1970 and is organized into 12 faculties.-History:...
in Germany in 1993 and 1994.