johnwickerson.github.io - John Wickerson

home > domains > johnwickerson.github.io

Example domain paragraphs

I'm a Senior 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.

Here is a selection of research projects I am or have been involved in.

Links to johnwickerson.github.io (4)

• jianyicheng.github.io Jianyi Cheng
• constantinides.net Thinking – A personal blog from @gconstantinides
• nchong.github.io Nathan Chong
• cw-srepls-24.github.io Kent Concurrency Workshop and SREPLS 15