Details for Wayne Snyder
Wayne Snyder
Position
Associate Professor, Associate Dean for Students
Telephone
617-358-2739
E-mail
snyder@cs.bu.edu
Office
MCS 283
Personal homepage
http://www.cs.bu.edu/~snyder
Biography
Areas of interest: Artificial Intelligence and Automated Reasoning, particularly equational reasoning and unificiation.
Courses
Introduction to computer science, compilers, computer systems, computer architecture.
