Information for New Ada95 Programmers.

Experimental high-level language for distributed computing, focus: typing, naming, version change; designed, formally specified, implemented; extends OCaml core to support distributed development, deployment, execution, type-safe interaction between s...

The official site. Includes the final image of the machine being switched off, a non-technical biography, and an audio copy of a 1994 radio report.

Article by his wife describing his life, work, and achievements.

Information about Unicode fonts for Linux and X11 users.

Tips for using LaTeX and PDF to make electronically published papers more useful for readers.

Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department.

Ph.D. student working in the Theory and Semantics Group at the Computer Laboratory, University of Cambridge.

University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.

University of Cambridge - Automated reasoning, implementation and application of higher order logic.