Sasha Fedchin

Home Publications Resume Projects Teaching

I am a Berlin-based software engineer at think-cell interested in the intersection of formal methods and HPC/AI. Before joining industry, my research focused on program verification, most recently of concurrent MPI software.