Wayne Snyder is an associate professor at

Boston University Boston University (BU) is a private research university in Boston, Massachusetts. The university is nonsectarian, but has a historical affiliation with the United Methodist Church. It was founded in 1839 by Methodists with its original campu ...

known for his work in

E-unification In logic and computer science, unification is an algorithmic process of solving equations between symbolic expression (mathematics), expressions. Depending on which expressions (also called ''terms'') are allowed to occur in an equation set (also c ...

theory. He was raised in

Yardley, Pennsylvania Yardley is a borough in Bucks County, Pennsylvania. Yardley borders the Delaware River and Ewing, New Jersey to its east and Lower Makefield Township to its north, west, and south. The United States Post Office assigns many addresses in Lower Mak ...

, worked in his father's aircraft shop, attended the

Berklee School of Music Berklee College of Music is a private music college in Boston, Massachusetts. It is the largest independent college of contemporary music in the world. Known for the study of jazz and modern American music, it also offers college-level cours ...

, and obtained an MA in

Augustan poetry In Latin literature, Augustan poetry is the poetry that flourished during the reign of Caesar Augustus as Roman Emperor, Emperor of Rome, most notably including the works of Virgil, Horace, and Ovid. In English literature, Augustan poetry is a b ...

Tufts University Tufts University is a private research university on the border of Medford and Somerville, Massachusetts. It was founded in 1852 as Tufts College by Christian universalists who sought to provide a nonsectarian institution of higher learning. ...

. He then studied computer science, and earned his Ph.D. at the

University of Pennsylvania The University of Pennsylvania (also known as Penn or UPenn) is a private research university in Philadelphia. It is the fourth-oldest institution of higher education in the United States and is ranked among the highest-regarded universitie ...

in 1988. In 1987 he came to

, teaching introductory computer science, and researching on

automated reasoning In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer progra ...

, and, more particularly,

. Personal information page
/ref>

Selected publications

* * * * * * * * *

References

External links

Home page

Publications
at

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Nove ...

Publications
at Snyder's home page * Theoretical computer scientists American computer scientists Living people Year of birth missing (living people) {{compu-scientist-stub