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

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

University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits.

University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation.

University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.

University of Cambridge - Interactive theorem proving and its applications.

University of Cambridge - Semantics and compilation of programs, static analysis of programs.

University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.

Information for New Ada95 Programmers.

Computer Science research student, Cambridge University. Author of many publications on security, English and German.