Hello. I am Ian D. K.
Kelly, an English Computer Scientist with many and varied interests,
including:
Brief
personal descriptions may be found here and here, and you can also see my CV
(downloadable - up to date) and (browsable - slightly abbreviated)
Some
theoretical papers may be found here,
here and
here.
Miranda’s
thesis is here (readable) and here
(downloadable).
Phone: +44 (0) 1276 857 599
or +44 (0) 7957 101 430 or e-mail: idkk@idkk.com