[citation needed] Robinson worked at the University of New South Wales (UNSW) from 1965 to 2012, initially in the Department of Electronic Computation under Professor Murray Allen.

[2] In 1971, Robinson's courses in computer science included ALGOL W (from Stanford University), WATFOR (a student version of FORTRAN from the University of Waterloo), Plago (PL/I for students, from Brooklyn), SNOBOL (from Bell Labs), and IBM System/360 assembly language.

In 1974, the Department of Computer Science at UNSW had a PDP-11/40 minicomputer from Digital Equipment Corporation, used for teaching and administration.

Ken Robinson wrote to Dennis Ritchie at Bell Labs requesting a copy of the Unix operating system.

[1] Robinson's later research and teaching was especially centred around formal methods, particularly the B-Method, Event-B, and the Rodin tool.