About Me

I am a PhD student at the Max Planck Institute for Software Systems working with Viktor Vafeiadis. My research interests are weak memory models and program logics.