Ken Robinson (computer scientist)

Ken Robinson was born in 1938. He received his BE degree in electrical engineering in 1959 and a BSc degree in physics and mathematics in 1961, both from the University of Sydney.{{citation needed|date=May 2023}}

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. During 1987–1989 he was Head of the Department of Computer Science and during 1996–2000 he was Head of the Department of Software Engineering. He held visiting positions in the United Kingdom at the University of Southampton (1978–79), the Programming Research Group at Oxford University as a visiting fellow at Wolfson College (1985–86), the Oxford University Computing Laboratory and B-Core (1999), and Royal Holloway College (University of London) and the University of Surrey (2003).

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. The latter used an assembler program written by Robinson since the IBM assembler was too slow for student use.

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. This arrived in 1975, making UNSW the first university outside the United States to run Unix regularly.

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

Robinson designed the initial BE Software Engineering program at UNSW and with the program coordinator subsequently. He also initiated the BE Computer Engineering program. In 1990, he received the University of NSW Vice-Chancellor's Award for Teaching Excellence.

Robinson died on 5 September 2020. He was married with a family.

• {{cite journal| first1=C. C. | last1=Morgan | author-link1=Carroll Morgan (computer scientist) | first2=K. A. | last2=Robinson | title=Specification statements and refinement | journal=IBM Journal of Research and Development | volume=31 | number=5 | pages=546–555 | date=September 1987 | doi=10.1147/rd.315.0546 }}
• {{cite book| first1=D. A. | last1=Carrington | first2=K. A. | last2=Robinson | chapter=Refinement of two graph problems

| editor-first1=Joseph M. | editor-last1=Morris | editor-first2=Roger C. | editor-last2=Shaw | title=4th Refinement Workshop | series=Workshops in Computing | pages=241–257 | publisher=Springer-Verlag | date=January 1991 }}

• {{cite book| editor1-first=Didier | editor1-last=Bert| editor2-first=Jonathan P. | editor2-last=Bowen | editor2-link=Jonathan Bowen | editor3-first=Martin C. | editor3-last=Henson | editor3-link=Martin Henson (computer scientist) | editor4-first=Ken | editor4-last=Robinson | title=ZB 2002: Formal Specification and Development in Z and B | publisher=Springer | series=Lecture Notes in Computer Science | volume=2272 | date=2002 | isbn=3-540-43166-7 }}
• {{cite journal| first1=Steve A. | last1=Schneider | author-link1=Steve Schneider (computer scientist) | first2=Thai Son | last2=Hoang | first3=Ken | last3=Robinson | first4=Helen | last4=Treharne | title=Tank monitoring: a pAMN case study | journal=Formal Aspects of Computing | volume=18 | number=3 | pages=308–328 | date=2006 | doi=10.1007/s00165-006-0004-5 | s2cid=93435 | url=http://epubs.surrey.ac.uk/7247/2/tankfacs.pdf }}

• [https://web.archive.org/web/20170820131227/http://www.cse.unsw.edu.au/~kenr/SE-rationale.pdf Reasons for Software Engineering Program Proposal] (Ken Robinson, UNSW 1990's)
• [https://web.archive.org/web/20170820131227/http://www.cse.unsw.edu.au/~kenr/Birth-of-CSE.pdf 40 Years at UNSW and the Birth of CSE, A Search for a Discipline] (Ken Robinson, UNSW, 28 January 28, 2011)
• [https://web.archive.org/web/20170820131227/http://www.cse.unsw.edu.au/~kenr/CSE-Timeline.pdf Draft Computer Science and Engineering Timeline 1955 – 2007, Revision date: March 19 19:43] (Ken Robinson, UNSW, 19 March 2007)
• [https://web.archive.org/web/20170820131227/http://www.cse.unsw.edu.au/~kenr/CE-rationale.pdf Reasons for need for Computer Engineering program] (Ken Robinson, UNSW, circa 1988)

• UNSW School of Computer Science and Engineering

{{Reflist}}

{{Authority control}}

{{DEFAULTSORT:Robinson, Ken}}

Category:1938 births

Category:2020 deaths

Category:University of Sydney alumni

Category:Australian computer scientists

Category:Formal methods people

Category:Software engineering researchers

Category:Academic staff of the University of New South Wales