I am a lecturer at the Department of Computing of Imperial College London. My research is in the area of programming languages and verification, spanning several topics including non-volatile memory, persistency semantics, weak memory models, stateless model checking and program logics.
Before joining Imperial College, I was a postdoctoral researcher at the Max Planck Institute for Software Systems in Germany (2017-2019). I completed my PhD at Imperial College in 2017.
For more information please visit my website on SoundAndComplete.org.