Jeremy Gibbons es informático y profesor de informática en la Universidad de Oxford . [1] Se desempeña como Director Adjunto del Programa de Ingeniería de Software en el Departamento de Ciencias de la Computación , Miembro del Consejo de Administración del Kellogg College [2] [3] y Pro-Proctor de la Universidad de Oxford. [4]
El profesor Gibbons obtuvo una Licenciatura en Ciencias (BSc) (Hons) en informática de la Universidad de Edimburgo (1983-1987) y un Doctorado en Filosofía (DPhil) en Computación de la Universidad de Oxford (1987-1991). [3]
Antes de ocupar su puesto actual, fue, primero, profesor de informática en la Universidad de Auckland (1991-1996), luego profesor titular de informática en la Universidad Oxford Brookes (1996-1999) y luego lector de ingeniería de software en la Universidad de Oxford. [3]
Sus actividades de investigación incluyen lenguajes y métodos de programación; programación funcional; programación genérica; tecnología de objetos; especificación, derivación y transformación del programa. [3]
Sus proyectos actuales incluyen CancerGrid; Programación genérica de tipos de datos; Generación Automática de Componentes de Software; Flujo de trabajo para la bioinformática del cáncer. [3]
Sus publicaciones cubren programación genérica , programación funcional , métodos formales , biología computacional , bioinformática , [5] [6] y diseño de algoritmos con Haskell en coautoría con Richard Bird . [7]
Es miembro del Grupo de Trabajo IFIP 2.1 de la Federación Internacional para el Procesamiento de Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [8] que especificó , mantiene y soporta los lenguajes de programación ALGOL 60 y ALGOL 68 . [9] Desde 2009 es presidente .