jeff-foster-headshot.jpeg

Jeffrey Foster

Tufts University
2022 Amazon Research Award
Automated testing of external methods in Dafny