Not registered as user yet
I am a tenure-track Assistant Research Professor at the IMDEA Software Institute. Before joining IMDEA, I was a postdoctoral fellow at the University of Cambridge, where I also got my Ph.D. My research interests are in software verfication, particularly, in developing reasoning techniques and automated verification tools for real-world concurrent systems software.
|PMLDC 2016||Committee Member in Program Committee within the PMLDC-track|
|Show activities from other conferences|
View general profile