Biography
My research focuses on building systems that are both reliable and secure. In particular, during the last years, I have developed techniques and methodologies that are particularly suited to address this problem in the context of core software systems – the building blocks in modern computing that other software layers critically rely upon, such as operating systems, hypervisors and distributed systems.
