Prof Andrew McGettrick, FRSE

Career: Univ of Strathclyde: reader Dept of Computer Sci 1982-84 (formerly lectr), personal prof 1984-86, prof 1986-, head Dept of Computer Sci 1984-90 and 1996-; chm Safety Critical Systems Ctee Inst of Electrical Engrs; ed-in-chief Jl of High Integrity Systems; govr Scottish Cncl for Educnl Technol 1990-96; CEng, FBCS 1987, FIEE 1989, FRSE 1996, FRSA 1998

Books and Publications: Publications over 110 edited books incl: Algol 68 - A First and Second Course (1978, reprinted 1980), The Definition of Programming Languages (1980), Program Verification using Ada (1982), Graded Problems in Computer Science (with P D Smith, 1983), Discrete Mathematics and uses in Computing, The Oxford Dictionary of Computer Science (1983, 2 edn 1985), Software Specification Techniques (ed with N Gehani, 1988), Concurrent Programming (ed with N Gehani, 1988)