Skip to main content

Geraint Jones

Geraint Jones

Emeritus Fellow

Emeritus Fellow, Wolfson College
College Lecturer, New College

E: Geraint.Jones@wolfson.ox.ac.uk

Interests

I am interested in hardware design methods that can be used to help control the complexity of large designs, and to improve the designer's confidence in their correctness.

Some of this work has involved a relational programming framework called Ruby which is intended for regular (array-structured) synchronous hardware designs; the derivation of Ruby designs from specifications are modelled on calculational approaches to writing functional programs.

Before this I was involved in the design of the occam programming languages and the transputer, and worked on models of communicating sequential processes.

Those of my publications of which on-line copies still exist include some papers about Ruby, papers about occam, and few other odd things.

Activities