Cambridge/London, UK

John Wickerson

Expert
@johnwickerson

Associate Professor, Department of Electrical and Electronic Engineering, Imperial College London

johnwickerson.github.io

HSV. Isabelle

40

memalloy. Memory consistency modelling using Alloy

32

dblp-playground. Asking questions about DBLP

10

mastering_digital_design. Course webpage for the MSc ADIC lab on "Mastering Digital Design"

9

ee_modules. HTML

7

netlistfuzz. TeX

3

alloystar. Unofficial copy of the Alloy* tool's source code (http://alloy.mit.edu/alloy/hola/)

3

papers. Research papers by John Wickerson and others

2

grant. LaTeX class for writing grant proposals

1
9
Apply