Biography
I was born in
I moved back to
Research Overview
I worked for several years on formal mathematical reasoning in
Artificial Intelligence and in software and micro-electronic design and
verification. Most of the Artificial Intelligence work was done jointly with
Alan MacDonald and Rob
Holte and much of it concerned
definitions and applications of various notions of abstraction. The
micro-electronics work was done first with Michael Fourman and that work led to
the development of a formally-based CAD tool that was commercialised in the
1980’s and 1990’s. This research also led me to consider formal designs in
relation to safety-critical design, something I did in part in conjunction with
Tony Ambler
funded by the Nuclear Industry, and partially as a consultant to
In 2001, I moved to Goldsmiths and started doing research related to
computing in relation to art and design.
Some highlights of which are a return to thoughts of abstraction,
connecting painting and computing; systems for reasoning about archiving
contemporary art with Tate Modern; large-scale public artworks with Andrew
Shoben of Greyworld; with Warren
Neidich, a web-based artwork centred on
brain function and development; systems for making reconfigurable,
personalisable, digital films with BT, Cambridge University, the BBC and others; and digital access to art
and artefacts.
The last of these topics includes haptic (touch simulating and
stimulating) interfaces, and these has led in turn to present research which
concerns the invention, development and application of new kinds of haptic
interface. This work is being done jointly with Mandeyam Srinivivasan, the Director of the Touch Lab at MIT, with whom I am presently writing
a book on the Machine and Human Haptics for MIT Press.
See Research
Page for information about funded
research and public outputs.
Teaching
CIS331:
Mathematical Models in Business