David A. Plaisted

简介

David Plaisted is a professor in the Department of Computer Science at the University of North Carolina at Chapel Hill. He received a bachelor’s degree in Mathematics from the University of Chicago and a Ph.D. in Computer Science from Stanford University. He served on the faculty of the Computer Science Department at the University of Illinois at Urbana-Champaign until 1984, then joined UNC-Chapel Hill as a full professor. Dr. Plaisted’s current interests include theorem proving, term-rewriting systems, and logic and functional programming. He has authored or co-authored numerous publications in a variety of fields of computer science. 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, Inf