Articulo de referencia

Robin Cockett

James Robin Bernard Cockett (nacido el 4 de mayo de 1952) [1] es un científico informático británico y profesor de la Universidad de Calgary . [2] Educación Cockett recibió su L...

James Robin Bernard Cockett (nacido el 4 de mayo de 1952) [1] es un científico informático británico y profesor de la Universidad de Calgary . [2]

Educación

Cockett recibió su Licenciatura en Ciencias de la Universidad de Warwick en 1974, [3] y obtuvo su Doctorado de la Universidad de Leeds en 1979 por su investigación en inyectivas y localizaciones en teoría de categorías , estudiando con Alfred Goldie . [4]

Carrera e investigación

Cockett ha sido profesor de informática en la Universidad de Calgary desde 1991, y anteriormente ocupó el título de profesor en la Universidad de Tennessee . [5] [6]

Cockett trabaja principalmente en los campos de la teoría de categorías , la programación categórica y la programación cuántica . [3] Cockett es miembro del comité organizador de la conferencia Foundational Methods in Computer Science (FMCS), [3] un taller anual para investigadores en informática teórica y teoría de categorías apoyado por el Instituto del Pacífico para las Ciencias Matemáticas (PIMS). [7]

Publicaciones seleccionadas

Sus publicaciones más citadas [2] incluyen:

  • Categorías débilmente distributivas [8]
  • Categorías de restricción I: categorías de mapas parciales [9]
  • Categorías diferenciales [10]
  • Categorías diferenciales cartesianas [11]
  • Estructura diferencial, estructura tangente y SDG [12]

Vida personal

Cockett está casado con su colega profesora de la Universidad de Calgary, Polly Knowlton Cockett, desde 1984 [13] y tienen tres hijos juntos: Audrey Lane, Rowan y Grayson [14] . Cockett es un ávido esquiador de fondo y ha participado en el Birkebeiner canadiense en más de una ocasión [15] [16], además de trabajar como instructor voluntario [14] .

Cockett y su esposa han colaborado voluntariamente en numerosas iniciativas centradas en el medio ambiente, incluso como profesores del programa de conservación de la biodiversidad de los parques de Calgary en Nose Hill Park , [14] y con la Alberta Wilderness Association , [14] donde el trabajo de su familia les valió un premio de la ciudad de Calgary. [14]

Referencias

  1. ^ "Entrada de índice". FreeBMD . ONS . Consultado el 24 de septiembre de 2023 .
  2. ^ Publicaciones de Robin Cockett indexadas por Google Scholar
  3. ^ abc "ROBIN COCKETT". Universidad de Calgary . Consultado el 24 de septiembre de 2023 .
  4. ^ "James Robin Bernard Cockett". Proyecto de genealogía matemática . Consultado el 24 de septiembre de 2023 .
  5. ^ "55 miembros de la facultad de UT ganan subvenciones para Tennessee Tomorrow". The Knoxville News-Sentinel . 18 de febrero de 1983. pág. A5.
  6. ^ LE Parker (1988). "Un algoritmo de navegación robótica para obstáculos en movimiento". Tesis de maestría . Universidad de Tennessee: 2.
  7. ^ "Métodos fundamentales en informática". Instituto del Pacífico para las Ciencias Matemáticas . Consultado el 24 de septiembre de 2023 .
  8. ^ JRB Cockett; RAG Seely (13 de enero de 1997). "Categorías débilmente distributivas". Journal of Pure and Applied Algebra . 114 (2): 133–173. doi :10.1017/CBO9780511525902.004.
  9. ^ JRB Cockett; Stephen Lack (6 de enero de 2002). "Categorías de restricción I: categorías de mapas parciales". Ciencias de la computación teórica . 270 (1–2): 223–259. arXiv : math/0610500 . doi :10.1016/S0304-3975(00)00382-0. S2CID  12444870.
  10. ^ RF Blute; JRB Cockett; RAG Seely (1 de noviembre de 2006). «Categorías diferenciales». Estructuras matemáticas en informática . 16 (6): 1049–1083. doi :10.1017/S0960129506005676. S2CID  11818257.
  11. ^ RF Blute; JRB Cockett; RAG Seely (10 de diciembre de 2009). "Categorías diferenciales cartesianas" (PDF) . Teoría y aplicaciones de categorías . 22 (23): 622–672.
  12. ^ JRB Cockett; GSH Cruttwell (7 de mayo de 2013). "Estructura diferencial, estructura tangente y SDG". Estructuras categóricas aplicadas . 22 (2): 341–417. doi :10.1007/s10485-013-9312-0. S2CID  254230142.
  13. ^ "COMPROMISO". The Boston Globe . 25 de marzo de 1984. pág. 84.
  14. ^ abcde "15.º ENTREGA ANUAL DE PREMIOS AL LIDERAZGO". Calgary Herald . 21 de abril de 2011. pág. N5.
  15. ^ "ESQUÍ DE FONDO". Edmonton Journal . 19 de febrero de 2004. p. D5.
  16. ^ "ESQUÍ DE FONDO LOCAL". Edmonton Journal . 16 de febrero de 2007. pág. C7.
Obtenido de "https://es.wikipedia.org/w/index.php?title=Robin_Cockett&oldid=1259172563"