stringtranslate.com

Robin Cockett

James Robin Bernard Cockett (nacido el 4 de mayo de 1952) [1] es un 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 en 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 ostentaba 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 respaldado por el Pacific Institute for the Mathematical Sciences (PIMS). . [7]

Publicaciones Seleccionadas

Sus publicaciones más citadas [2] incluyen:

Vida personal

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

Cockett y su esposa se han ofrecido como voluntarios para numerosas iniciativas centradas en el medio ambiente, incluso como conferenciantes para el 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". LibreBMD . ONS . Consultado el 24 de septiembre de 2023 .
  2. ^ ab Publicaciones de Robin Cockett indexadas por Google Scholar
  3. ^ a b "ROBIN COCKETT". Universidad de Calgary . Consultado el 24 de septiembre de 2023 .
  4. ^ "James Robin Bernard Cockett". Proyecto Genealogía Matemática . Consultado el 24 de septiembre de 2023 .
  5. ^ "55 miembros de la facultad de UT ganan subvenciones Tennessee Tomorrow". El Knoxville News-Sentinel . 18 de febrero de 1983. p. A5.
  6. ^ LE Parker (1988). "Un algoritmo de navegación robótica para mover obstáculos". Tesis de maestría . Universidad de Tennessee: 2.
  7. ^ "Métodos fundamentales en informática". Instituto del Pacífico de 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". Revista de Álgebra Pura y Aplicada . 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". Informática Teórica . 270 (1–2): 223–259. arXiv : matemáticas/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 ODS". Estructuras categóricas aplicadas . 22 (2): 341–417. doi :10.1007/s10485-013-9312-0. S2CID  254230142.
  13. ^ "COMPROMISO". El Boston Globe . 25 de marzo de 1984. pág. 84.
  14. ^ abcde "XV PREMIOS ANUALES DE LIDERAZGO". Heraldo de Calgary . 21 de abril de 2011. pág. N5.
  15. ^ "ESQUÍ DE FONDO". Diario de Edmonton . 19 de febrero de 2004. pág. D5.
  16. ^ "ESQUÍ DE FONDO LOCAL". Diario de Edmonton . 16 de febrero de 2007. pág. C7.