I am a lecturer at the Department of Computing of Imperial College London.
Previously I was a postdoctoral researcher at the Max Planck Institute for Software Systems (Kaiserslautern), working with Prof. Derek Dreyer and Dr. Viktor Vafeiadis.
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.
I am always eager to supervise enthusiastic candidates for PhD and Masters positions. If you are interested in programming languages theory, concurrency and formal methods, check out my projects page here and do not hesitate to contact me!
You can contact me on MyFirstName@imperial.ac.uk.
For a list of my publications see here, Google Scholar or DBLP .
News
Feb 2021
Our paper on hardware persistency models has been accepted to PLDI 2021!