Sasha Fedchin

I am a CS PhD student at Tufts university working with Professor Jeff Foster on automated testing 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 at UT Austin, where I study Latin and Neo-Latin poetry. Occasionally, I draw things in Photoshop.