معرفی
Dr. John Wickerson is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London. His research focuses on enhancing the reliability of high-performance computing through formal methods, particularly in the context of concurrent systems, weak memory models, and hardware synthesis.
- Imperial College London
- IEEE Senior Member
- ACM Member
Research interests include:
- Concurrency semantics and weak memory models
- Formal verification of high-level synthesis tools
- Transactional memory and cache coherence
- GPU and FPGA programming
- Separation logic for hardware-software interfaces
Recent publications analyze the interaction between transactional memory and out-of-order execution, formalize cache coherence protocols like CXL, and develop automated testing frameworks for hardware synthesis tools. His work bridges theoretical computer science and practical engineering across domains like quantum compiler validation (QuteFuzz), database isolation level verification (EuroSys 2024 Best Paper), and Verilog parser robustness (TOSEM 2025).
Scientific recognition includes:
- Best Paper at EuroSys 2024
- Distinguished Artifact at ESOP 2022
- Michal Servit Best Paper Finalist at FPL 2022
- Runner-up Best Paper at FCCM 2018
He advises PhD students in formal verification and hardware synthesis, including Quentin Corradi and Michalis Pardalos. His team has produced groundbreaking work on memory persistency models (ICSE-NIER 2024) and GPU workgroup progress (OOPSLA 2015-2024). The group maintains active collaborations with institutions like EPFL, Cambridge, and Edinburgh.
