Dr David Rydeheard - personal details


Contact details

Dr David Rydeheard

Role: Senior Lecturer


Tel: 0161 275-6164

Location: Kilburn Building-ROOM 2.111
School of Computer Science
The University of Manchester
M13 9PL




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. 

Personal details | Research | Postgraduate opportunities | Publications | Teaching

▲ Up to the top