Dr David Rydeheard - personal details
Role: Senior Lecturer
Tel: 0161 275-6164
Kilburn Building-ROOM 2.111
School of Computer Science
The University of Manchester
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.