Thomas Golisano College of Computing and Information Sciences. His research interests lie with the design and implementation of functional programming languages.