Wayne Snyder
Jump to navigation
Jump to search
Wayne Snyder | |
|---|---|
| Children | John Henry, Matthew |
| Scientific career | |
| Thesis | Complete Sets of Transformations for General Unification (1988) |
| Doctoral advisor | Jean Henri Gallier |
| 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
[edit | edit source]- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
References
[edit | edit source]External links
[edit | edit source]- Home page
- Publications at DBLP
- Publications at Snyder's home page
- Wayne Snyder at the Mathematics Genealogy Project
Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).