Skip to navigation | Skip to main content | Skip to footer
Menu
Menu Search the University of Manchester siteSearch
Search type

Alternatively, use our A–Z index

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
Manchester
M13 9PL

Websites

 

Biography

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

 Qualifications: MA (Cantab) Mathematics 1978, PhD (Edinburgh) Computer Science 1981.