Following his PhD, Buneman worked briefly at the University of Edinburgh, followed by a professorship of computer science at the University of Pennsylvania, which he held for several decades. In 2002, he moved to the University of Edinburgh, where he built up the database research group. He is one of the founders and the Associate Director of Research of the UK Digital Curation Centre,[3] which is located in Edinburgh.
Peter Buneman is distinguished for his advances in uniting programming languages and databases. On the theoretical side this has involved new results in types, monads and structural recursion including (with his student Ohori) type inference for record types, and (with Tannen et al) results that demonstrated a tight connection between monad-based languages and those based on the predicate calculus. On the application side, he used these techniques to demonstrate that – contrary to an assertion by the US Department of Energy – queries on existing non-relational genomic databases could be directly evaluated; fruitful collaboration with biologists ensued.
This research carries over into his recent study of the principles of semistructured or "web-like" data. He is a leading proponent of this new field, and co-author of the first text book in it. Another recent concern is with the provenance of data on the Web, where data is continually copied and transformed. Already, with Khanna et al. he has built an efficient archiving system for scientific databases; more fundamentally, he seeks a formal basis for tracing provenance.
In addition to his work in databases, Buneman's early work on mathematical phylogeny underlies most modern phylogenetic reconstruction techniques.[1]
^"BUNEMAN, Prof. (Oscar) Peter". Who's Who 2014, A & C Black, an imprint of Bloomsbury Publishing plc, 2014; online edn, Oxford University Press.(subscription required)
^Peter Buneman (1971), "The recovery of trees from measures of dissimilarity", in Hodson, F. R.; Kendall, D. G. & Tautu, P. T., Mathematics in the Archaeological and Historical Sciences, Edinburgh University Press, pp. 387–395 .