Wayne Snyder

Wayne Snyder
Residence Rich Hall
Thesis Complete Sets of Transformations for General Unification (1988)
Doctoral advisor Jean Henri Gallier
Children John Henry, Matthew
Website
www.cs.bu.edu/~snyder/

Wayne Snyder is an associate professor at Boston University known for his work in E-unification theory.

He was raised in Yardley, Pennsylvania, worked in his father's aircraft shop, attended the Berklee School of Music, and obtained an MA in Augustan poetry at Tufts University. He then studied computer science, and earned his Ph.D. at the University of Pennsylvania in 1988. In 1987 he came to Boston University, teaching introductory computer science, and researching on automated reasoning, and, more particularly, E-unification. [1]

Selected publications

References


This article is issued from Wikipedia - version of the 6/6/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.