Devora Chait-Roth

PhD student in formal methods at NYU