Wayne Snyder

A computer scientist whose doctoral and early research addressed computational logic and algebraic reasoning within artificial intelligence, including unification and equational theories. He now teaches in the online Master's in Data Science program and has developed courses in computational audio and natural language processing.