Matthew Fluet is an assistant professor in the Department of Computer Science in the B. Thomas Golisano College of Computing and Information Sciences. His research interests lie with the design and ...