I'm a Lecturer in the Circuits and Systems group, which is part of the Department of Electrical and Electronic Engineering at Imperial College London.
My research aims to improve the reliability of high-performance computing with the help of formal methods.
NEWS: Lana Josipović and I are organising the FLASHLIGHT workshop at FCCM 2022 in New York, on Formal Methods in High-Level Synthesis. If you have an interest in formal methods or high-level synthesis (or both!), then we'd love for you to join us.
Here is a selection of research projects I am or have been involved in.
Conference and workshop organisation:
Program/review committee member:
Artifact evaluation committee member:
Reviewer for the following conferences and journals:
j.wickersonXimperial.ac.uk
(replace X
with @
)