
Sasha Fedchin
I am a CS PhD student at Tufts university working with Professor Jeff Foster on automated testing and synthesis for verification-aware languages, such as Dafny. During summers, I intern at Amazon and work on various Dafny-related projects. I am also a member of the Quantitative Criticism Lab, where I do NLP-adjacent research. Occasionally, I draw things in Photoshop.