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).
- With Konrad Slind, Prague 1993
- With various HOL93 pepople, Vancouver 1993
- With Tania at dawn, St. Petersburg 1994
- With Tania and a boat owner, St. Petersburg 1994
- With Alexandra Karl, Malta 1994
- With Alexander Abian, London 1994
- With Tania and type theorists, Valloire 1996
- With Tania in our new flat, Cambridge 1997
- With Yestin, ages 2 weeks, Cambridge 1997
I'm also lurking in these group pictures from conferences: