Geraint Jones
Geraint Jones
Themes:
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.