Sasha Fedchin

I am a Berlin-based computer scientist / software engineer with a PhD in CS from Tufts University and four internships as an Applied Scientist at AWS. My research focuses on program verification, most recently of concurrent MPI software, with publications at POPL, OOPSLA, TACAS, and NFM.

I also have a strong interest in NLP and ML, with an ML internship at JetBrains and publications at NAACL and AJP.