Techniques for the design of parallel programs and integrated circuits which provide confidence in their correctness

Supervisor	Geraint Jones
Suitable for	MSc in Computer Science

Abstract

Geraint Jones is willing to supervise projects in this area