Randy Johnson was trained as a mathematician and spent the first ten years of his career in the academic world, the last seven years in the Mathematics Department at the University of Pittsburgh. He has a BA (1964) from Wesleyan University and an MA (1966), MPhil (1968), and PhD (1971) from Yale University, all in mathematics, specializing in mathematical logic. Since 1978 he has been employed at NSA. In the 1980s he worked on large scale software development and did 
30 credits worth of graduate computer science at the University of Maryland.

   Since 1991 he has been working in the area of formal methods and has been a member of the ISO technical committee writing the ISO standard for the Z specification language. He is also a member of the corresponding ANSI committee.

Updated September 5, 2002