John Harrison: Pictures

A family Christmas Card from 1997 (larger version).

A similar card from 1998.

Some pictures of me on my own:

and with others: My picture of three great pioneers in Automated Reasoning (left to right: Andrzej Trybulec, Robin Milner, Mike Gordon).

I'm also lurking in these group pictures from conferences: