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 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...
more
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 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.
less
