W J Harwood BSc (Wales), MSc (Oxon), PhD (Wales)

Senior research assistant

Address

CALCO 2005

Swansea Algebraic Specification Seminar

Pictures from UWS computer science colloquia

A few images from Milner's visit.

Works

• Undergraduate Project: "The Data Type of the Real Numbers and its Effectiveness"
• Dissertation: "The Birth and Death of the Hilbert Programme"
• Graduate Dissertation: "Ethics and Artificial Life"

Publications

Thesis

1. Introduction
2. Constructive Dickson's Lemma
3. General processes
4. Processes from context-free grammars
5. Distance functions
6. DD on the Basic Parallel Processes
7. Conclusions, and a research programme

Talks

• CALCO-jnr 2005: Weak bisimulation approximants
• BCTCS 2005: Weak bisimulation approximants
• Swansea Research Student Seminar: Ordinal numbers in the real world
• Swansea Research Student Seminar: Information theory and Chaitin's clever number

Pictures

The Gallery [undergoing renovation]

Eastertime in Dorset

The Wiltshire Sun

(The Faraday Building no longer receives this from the Technium.)

Elsewhere

My computer science bibliography (bibtex).

Seven Minutes In.

Bloomsday. Finnegans Wake in 198 words.

Work in progress, Shakespeare complete works.pdf.

Keats, Hyperion.pdf, Ode on Melancholy.

Antoine de Saint-Exupery, The Little Prince.pdf.

Wilde, The Happy Prince and Other Tales.

The Robert Recorde Film Night Site (under construction)

(Jonathan Miller's Alice in Wonderland, the 26th Riffen film.
Attending: Bandy, WH, Jason, Dave B, Bjoern, TR, Nicolas & Dave P.)

The Robert Recorde Film Night Report (in preparation)

The Dull and Rusted Metal Man: a story in the form of a Java applet written a few years ago. Bit of a curate's egg ;).

Links

The Roadmap of Infinite Results.

Four lectures on light by Richard Feynman from the 1970's.

Project Gutenberg, new today; Project Gutenberg distributed proofreaders

It's almost Scrabble.

photo.net, Gallery.
The Nikon F3
Nikon Web Magazine

The Library of Babel

Last updated: March 2007 WH.