University Officers of the Mathematical Laboratory or Computer Laboratory 1937-2000(ish) Data is from http://venn.lib.cam.ac.uk/Documents/acad/lists/ and "..." means I have filtered the list for relevance, perhaps imperfectly. - srk31 Head of Department and Director 1937 Jones, John Edward Lennard- Senior Technical Officer 1964-69 Mutch, Eric Norbury (Superintendent of Computing Services) 1964-70 Wiseman, Neil Ernest (Chief Engineer) (University Lecturer, 1970) 1966-68 Fraser, Alexander Gibson (Assistant Director of Research, 1968) 1967-69 Hammersley, Peter 1969-70- Bailey, Judith Ann 1969-76 Larmouth, John 1970-82 Barton, Sidney Albert 1976-78 Hazel, Philip Technical Officer 1953-61 Mutch, Eric Norbury 1965-66 Landy, Barry 1965-66 Lang, Charles Alfred 1966-69 Barton, David (Assistant Director of Research, 1969) 1966-69 Smith, George William 1967-68 Bott, Michael Francis 1967-68 Larmouth, John (Senior Assistant in Research, 1968) 1967-71 Guy, Michael John Thirian 1968-68 Bailey, Judith Ann (Senior Technical Officer, 1969) 1968-71 Cheney, Christopher John 1968-71 Etherton, Michael 1968-75 Cross, Philip 1969-74 Linington (née Richards), Janet Wynne 1969-75 Woodsford, Peter Alfred (Departmental) 1970-75 Grant, John Stuart (Departmental) 1971-75 Fairbairns, Robin (Departmental) 1975-77 Stibbs, Richard James (Computer Officer, 1977) Computer/Mathematical Laboratory, Assistant in Research in 1950-51 Brooker, Ralph Anthony 1950-53 Mutch, Eric Norbury 1952-53 Gill, Stanley 1953-54 Haselgrove, Colin Brian 1958-66 Mutch, Margaret Olive 1961-63 Maybrey, Margaret Ann 1963-69 Bayley (Houston), Alison Alexandra 1964-66 Smith, George William (Technical Officer, 1966) 1965-65 Gray, John Crispin (Technical Officer, 1967) 1965-66 Hallinan, Kay Olive 1965-66 McIntyre, Laurence John Denis 1966-67 Guy, Michael John Thirian (Technical Officer, 1967) 1967-69 France, Michael John 1967-69 Linington (née Richards), Janet Wynne (Technical Officer, 1969) 1968-69 Skilling, Jennifer Aileen 1968-69 Woodsford, Peter Alfred (Technical Officer, 1969) 1969-69 Mutch, Margaret Olive 1969-71 Fairbairns, Robin (Technical Officer, 1971) 1969-72 Parkins, Richard Peter Mathematical Laboratory, Senior Assistant in Research in the From 1966 posts are listed under the Computer Laboratory; the title in fact changed in 1969. 1952-58 Renwick, William 1954-56 Haselgrove, Colin Brian 1961-62 Barron, David William (University Lecturer, 1962) 1963-64 Needham, Roger Michael (Assistant Director of Research, 1964) 1964-66 Hartley, David Fielding (Assistant Director of Research, 1966; University Lecturer, 1967) Computer Laboratory, Senior Assistant in Research in the 1966-67 Landy, Barry (Assistant Director of Research, 1967) 1968-69 Larmouth, John (Senior Technical Officer, 1969) 1968-81 Moody, John Kenneth Montague (University Lecturer, 1981) 1969-73 Bourne, Stephen Richard 1971-72 Hiles, John Owen 1971-77 Fitch, John Peter 1973-76 King, Frank Haydon (University Lecturer, 1976) Computer Laboratory, Demonstratorship in The Mathematical Laboratory was re-titled the Computer Laboratory in 1969. 1969-73 King, Frank Haydon (Senior Assistant in Research, 1973) 1971-74 Clark, Ronald Anthony Russell- 1973-74 Dawson, John Lewis (Senior Assistant in Research in Other Languages --- Literary and Linguistic Computing Centre, 1974) 1974-77 Lang, Jack Arnold 1974-79 Walker, Robin Douglas Howard Computer Laboratory, Assistant Lectureship in the 1978-83 Herbert, Andrew James (University Lecturer, 1983) 1979-83 Hopper, Andrew (University Lecturer, 1983) 1983-84- Leslie, Ian Malcolm 1987-90 Crawley, Stephen Christopher 1989-94 Klein, Carole Susan 1990-93 McAuley, Derek Robert (University Lecturer, 1993) Mathematical Laboratory, Assistant Director of Research at For posts filled from 1966 see under Computer Laboratory; the change of title in fact dates from 1969. 1950-55 Miller, Jeffery Charles Percy (University Lecturer, 1955) 1956-66 Wheeler, David John (Reader in Computer Science, 1966) 1964-73 Needham, Roger Michael (Reader in Computer Systems, 1973) Computer Laboratory, Assistant Director of Research in the 1966-67 Hartley, David Fielding (University Lecturer, 1967) 1966-75 Lang, Charles Alfred 1967-71 Landy, Barry 1968-69 Fraser, Alexander Gibson 1968-71 Richards, Martin (University Lecturer, 1971) 1969-74 Barton, David 1971-74 Forrest, Archibald Robin 1973-75 Bourne, Stephen Richard 1982-98 Paulson, Lawrence Charles (Reader in Computational Logic, 1998) 1983-93 Clocksin, William Frederick 1983-93 Robinson, Peter 1984-93 Mycroft, Alan 1988-94 Needham (née Spärck-Jones), Karen Ida Boalth (Reader in Computers and Information, 1994) Mathematics, Demonstratorship in Faculty of Mathematics ... 1937-45 Wilkes, Maurice Vincent (Mathematical Laboratory, later the Computer Laboratory) (University Lecturer, 1945) ... Mathematics, Lectureship in ... 1945-46 Wilkes, Maurice Vincent ... 1955-73 Miller, Jeffery Charles Percy ... Mathematical Laboratory, Lecturer in the Faculty of Mathematics? From 1970, see under Computer Laboratory 1960-67 Dyer, Henry Peter Francis Swinnerton-, Sir (Lecturer in Pure Mathematics and Mathematical Statistics, 1967) (see also Computing Science) 1962-67 Barron, David William (see also Computing Science) 1967-70 Hartley, David Fielding (see also Computing Science) Computer Laboratory, Lecturer in the See under Mathematical Laboratory for earlier such. 1970-86 Wiseman, Neil Ernest (Reader in Computer Graphics, 1986) 1971- Richards, Martin (Senior Lecturer, 2000) 1976- King, Frank Haydon (Senior Lecturer, 2000) 1980-88 Gordon, Michael John Caldwell (Reader in Formal Methods in Computer Science) 1980-99 Norman, Arthur Charles 1981-82- Moody, John Kenneth Montague 1983-85 Herbert, Andrew James 1983-87 Winskel, Glynn (Reader in Theoretical Computer Science, 1987) 1983-92 Hopper, Andrew (Reader in Computer Technology, 1992) 1984-97 Pulman, Stephen Guy (Reader in Computational Linguistics, 1997) 1985-99 Bacon, Jean Margaret (Reader in Distributed Systems, 1999) 1986-98 Leslie, Ian Malcolm (Professor of Computer Science (Teaching and Research/Robert Sansom Professor of Computer Science), 1998) 1988-89 Efstathiou, Helena Jane 1988-96 Pitts, Andrew Mawdesley (Reader in Theoretical Computer Science, 1996) 1989-2000 Briscoe, Edward John (Reader in Computational Linguistics, 2000) 1993- Clocksin, William Frederick 1993- Mycroft, Alan (Senior Lecturer in Information Technology, 2000) 1993- Paulson, Lawrence Charles 1993-95 McAuley, Derek Robert 1994- Daugman, John 1994- Greaves, David James 1995- Dodgson, Neil Anthony (Senior Lecturer, 2000) 1995-2000 Anderson, Ross John (Reader in Security Engineering, 2000) 1995-2000 Crosby, Simon Andrew 1998- Moore, Simon William 1998- Pratt, Ian Alexander 1999- Dawar, Anuj 2000- Bierman, Gavin Mark 2000- Blackwell, Alan Frank 2000- Copestake, Ann Alicia 2000- Hand, Steven Michael Computer Graphics, Readership in 1986 Wiseman, Neil Ernest (died 1995) Computer Science, Readership in Established by grace of 26 October 1966 for D. J. Wheeler. 1966 Wheeler, David John (elected Professor of Computer Science 1977) Computer Systems, Readership in Established by grace of 13 June 1973 for R. M. Needham. 1973 Needham, Roger Michael (elected Professor of Computer Systems 1981) Computer Technology, Readership in 1992 Hopper, Andrew (Professor of Communications, 1997) Computers and Information, Readership in 1994 Jones (Needham), Karen Ida Boalth Spärck- (Professor, 1999) Computer Assisted Reasoning, Professorship of 1996 Gordon, Michael John Caldwell Computer Science (Teaching and Research), Professorship of Established by grace 6 of 23 July 1997. Re-titled Robert Sansom Professorship of Computer Science by Grace 10 of 27 October 1999 in recognition of a benefaction. 1998 Leslie, Ian Malcolm Computer Science, Professorship of (1) Established by grace of 11 May 1977 for Dr Wheeler; limited to one tenure; placed in Schedule B of the Statutes and assigned primarily to the Computer Laboratory. (2) Established by grace of 6 May 1993. 1977 Wheeler, David John (retired 1994) 1995 Milner, Arthur John Robin Gorell (resigned 1999) 2000 Winskel, Glynn (previously Professor of Computer Science in the University of Aarhus) Computer Systems, Professorship of Established by grace of 7 May 1981 for Dr Needham; limited to one tenure; placed in Schedule B of the Statutes and assigned to the Computer Laboratory. 1981 Needham, Roger Michael (retired 31 Dec. 1998) Computer Technology, Professorship of Established by grace of 16 June 1965 for Dr M. V. Wilkes. The professorship is placed in Schedule B of the statutes and is assigned to the Faculty of Mathematics. Assigned by grace of 26 November 1969 primarily to the Computer Laboratory, with effect from 1 August 1970. 1965 Wilkes, Maurice Vincent (retired 1980) Computers and Information, Professorship of 1999 Jones (Needham), Karen Ida Boalth Spärck-