A brief (and tongue-in-cheek) biography is here. My autobiography Bending the Wyrd is a full account of a rather unusual life split between AI programming, philosophy and the paranormal. This autobiography is published by John Hunt publishers. You can listen to audio excerpts here and a full list of contents is produced here.

My major work is into the AI programming language Shen to which is dedicated an entire site. There are altogether 1,209 pages on that site, so I'll leave it to you to navigate your way round it. The major publication is The Book of Shen which at 500+ pages will keep you occupied for a goodly time (there is an online version of the 4th edition here). There is a newsgroup dedicated to Shen if you want to hang out.

Logic was a favourite subject of mine when I was an undergraduate. I later branched into AI and specialised in high-performance automated reasoning. From this technology sprang Shen. I taught discrete maths at Stony Brook for a brief year from which sprang the text Logic, Proof and Computation which is an interdisciplinary introduction to logic, the philosophy of logic and the role of logic in computer science. The software supporting that book was fashioned using the Logic Lab; a program written in Shen that allows deduction rules to be entered at a high level. I still retain an interest in high-performance theorem proving; the theorem prover THORN is a hobby of mine.

My UG subject and my first love. I'm in the process of returning to it, now I'm retired. I regard philosophy, properly practised, to be subversive and exciting. I opened a philosophy channel on Youtube and hope to develop it. Out of my written works Conversations of Taoist Master Fu Hsiang is a philosophical account of Taoism. I also have a collection of philosophical essays in the pipeline.

I've written a number of essays on higher education and the social aspects of programming. The first that gained attention was Why I am Not a Professor, which recounted my reasons for leaving academia. The second was The Bipolar Lisp Programmer, which is concerned with brilliant students who fail and why. There was also a bunch of essays on the failings of the open source cult. These attracted disapproval, though the conclusions were never refuted. You can find them all here.

I was very active in writing poetry between 1993 and 1996, though I did sporadically add to the collection after that date. I'm preparing to collate those poems in a volume Poems of Light and Shadow. Some of the poems were cited, in part or in totality, in my autobiography Bending the Wyrd. I also had a penchant for writing poetry in the style of the late sixteenth and early seventeenth century; the period when the metaphysical poets were writing. A couple of poems I set to the music of John Barry and you can find links here.

An interest since my teenage years. This theoretical interest became very practical when I fell foul of adepts from the Left Hand Path. Much of my autobiography, Bending the Wyrd, is concerned with having to deal with them. I've also written the first of two volumes on the Tarot for which I hope to seek publication. You'll find more details, including some audio lectures on the Tarot, here.