名誉教授
韦恩·斯奈德于1987年开始在波士顿大学任教，他在塔夫茨大学获得古典文学硕士学位，在宾夕法尼亚大学获得计算机科学博士学位。 他教授过各种各样的课程，从计算机知识到高级新濠影汇线上赌场研究生研讨会，但目前专注于编程入门、概率和音频编程。 他的新濠影汇线上赌场研究主要集中在自动推理和逻辑，他现在的兴趣是音频编程和音乐信息检索。 Snyder教授曾担任多种行政职务，从本科主任（他目前的职位）、主席和副院长。 他目前是西校区里奇大厅的住校新濠影汇赌场，当不从事学术工作时，他喜欢在Fitrec中心游泳和锻炼，并在新濠影汇赌场蓝调乐队Fish Worship演奏口琴。
选定的出版物
Oliart, A., and W. Snyder. 一致半统一的快速算法. 符号计算学报37(2004)455-484。
Baader, F., and W. Snyder. 统一理论. 《自动扣除手册》第八章，施普林格出版社，柏林（2001）
Lynch, C., and W. Snyder. 约束补全的冗余准则. 理论计算机科学，142(1995)141-177。