Alley Stoughton's Photo

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