Ken Robinson (científico informático)

Kenneth ("Ken") Arthur Robinson (30 de julio de 1938 - 5 de septiembre de 2020) fue un científico informático australiano . ^{[ 1 ] [ 2 ]} Ha sido llamado "El padre de los métodos formales en Australia ". ^{[ 3 ]}

Ken Robinson nació en 1938. Recibió su título de ingeniero eléctrico en 1959 y una licenciatura en física y matemáticas en 1961, ambos títulos de la Universidad de Sídney .

Robinson trabajó en la Universidad de Nueva Gales del Sur (UNSW) desde 1965 hasta 2012, inicialmente en el Departamento de Computación Electrónica bajo la dirección del profesor Murray Allen. ^{[ 1 ]} Entre 1987 y 1989 fue jefe del Departamento de Ciencias de la Computación y entre 1996 y 2000 fue jefe del Departamento de Ingeniería de Software . Ocupó puestos de profesor visitante en el Reino Unido en la Universidad de Southampton (1978-79), el Grupo de Investigación en Programación de la Universidad de Oxford como investigador visitante en Wolfson College (1985-86), el Laboratorio de Computación de la Universidad de Oxford y B-Core (1999), y el Royal Holloway College ( Universidad de Londres ) y la Universidad de Surrey (2003). ^{[ 2 ]}

En 1971, los cursos de informática de Robinson incluían ALGOL W (de la Universidad de Stanford ), WATFOR (una versión para estudiantes de FORTRAN de la Universidad de Waterloo ), Plago ( PL/I para estudiantes, de Brooklyn ), SNOBOL (de Bell Labs ) y el lenguaje ensamblador del IBM System/360 . ^{[ 3 ]} Este último utilizaba un programa ensamblador escrito por Robinson, ya que el ensamblador de IBM era demasiado lento para el uso de los estudiantes.

En 1974, el Departamento de Ciencias de la Computación de la UNSW contaba con una minicomputadora PDP-11 /40 de Digital Equipment Corporation , utilizada para la docencia y la administración. Ken Robinson escribió a Dennis Ritchie de Bell Labs solicitando una copia del sistema operativo Unix . Esta llegó en 1975, convirtiendo a la UNSW en la primera universidad fuera de Estados Unidos en utilizar Unix de forma regular. ^{[ 1 ]}

La investigación y la docencia posteriores de Robinson se centraron especialmente en los métodos formales , en particular el método B , el Evento B y la herramienta Rodin . ^{[ 3 ]}

Robinson diseñó el programa inicial de Ingeniería de Software (BE) en la UNSW y, posteriormente, colaboró ​​con el coordinador del programa. También impulsó el programa de Ingeniería Informática (BE). En 1990, recibió el Premio a la Excelencia Docente del Vicerrector de la Universidad de Nueva Gales del Sur . ^{[ 1 ]}

Robinson falleció el 5 de septiembre de 2020. Estaba casado y tenía familia.

• Morgan, CC ; Robinson, KA (septiembre de 1987). "Declaraciones de especificación y refinamiento". IBM Journal of Research and Development . 31 (5): 546– 555. doi : 10.1147/rd.315.0546 .
• Carrington, DA; Robinson, KA (enero de 1991). "Refinamiento de dos problemas de grafos". En Morris, Joseph M.; Shaw, Roger C. (eds.). 4.º Taller de Refinamiento . Talleres de Computación. Springer-Verlag . págs. 241–257 . 
• Bert, Didier; Bowen, Jonathan P .; Henson, Martin C .; Robinson, Ken, eds. (2002). ZB 2002: Especificación formal y desarrollo en Z y B. Lecture Notes in Computer Science . Vol.  2272. Springer . ISBN 3-540-43166-7.
• Schneider, Steve A.; Hoang, Thai Son; Robinson, Ken; Treharne, Helen (2006). "Monitoreo de tanques: un estudio de caso de pAMN" (PDF) . Aspectos formales de la computación . 18 (3): 308–328 . doi : 10.1007/s00165-006-0004-5 . S2CID 93435 . 

• Escuela de Ciencias de la Computación e Ingeniería de la UNSW