Wayne Snyder
From Infogalactic: the planetary knowledge core
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 |
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
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
- Lua error in package.lua at line 80: module 'strict' not found.
References
External links
- Home page
- Publications at DBLP
- Publications at Snyder's home page
- Wayne Snyder at the Mathematics Genealogy Project
<templatestyles src="Asbox/styles.css"></templatestyles>