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.
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 and the University of Kaiserslautern in Germany in 1993 and 1994.