Skip to main content

Geraint Jones

Geraint Jones

University Lecturer

Ordinary Fellow, Wolfson College
College Lecturer, New College

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

Room 315, Wolfson Building, Parks Road, Oxford OX1 3QD

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

Supervisor