Dr David Rydeheard - personal details
I am Senior Lecturer in the Formal Methods Group of the School of Computer Science.
After an MA in Mathematics at Cambridge, I undertook a PhD at Edinburgh University under Prof. R.M. Burstall. I moved to the University of Manchester in 1983 and took up my current post in 1994.
Qualifications: MA (Cantab) Mathematics 1978, PhD (Edinburgh) Computer Science 1981.