Alley Stoughton
research computer scientist specializing in formal language theory, formal methods for cryptography, functional programming, logic, programming language based security, and programming language semantics
contactworkteachingresearchsoftwarec.v.resourcescultural studiespersonal
Alley Stoughton's Photo