Sasha Fedchin

I am a CS PhD candidate at Tufts university working with Professor Jeff Foster. I am interested in automated reasoning, verification-aware languages such as Dafny, and verification of parallel scientific software. 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.