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

Spring 2017 Course at Harvard Extension
CSCI E-27 — Experimenting with Formal Languages