Work


I am a Research Professor in the Department of Computer Science at Boston University.

I am a contributor to the EasyCrypt proof assistant.

Current projects include:


Alley Stoughton (alley.stoughton@icloud.com)