Robin Cockett Explained

Robin Cockett
Birth Date:4 May 1952
Birth Place:Surrey, United Kingdom
Field:Category theory
Quantum programming
Work Institutions:University of Calgary
University of Tennessee
Thesis Title:Injectives and Localizations in Category Theory
Thesis Year:1979
Thesis Url:https://leeds.primo.exlibrisgroup.com/permalink/44LEE_INST/13rlbcs/alma991010777289705181
Doctoral Advisor:Alfred Goldie

James Robin Bernard Cockett (born May 4, 1952)[1] is a British computer scientist and professor at the University of Calgary.

Education

Cockett received his Bachelor of Science from the University of Warwick in 1974,[2] and earned his PhD from the University of Leeds in 1979 for his research in injectives and localizations in category theory, studying under Alfred Goldie.[3]

Career and research

Cockett has been a professor of computer science at the University of Calgary since 1991, previously holding the title of professor at the University of Tennessee.[4] [5]

Cockett works primarily in the fields of category theory, categorical programming, and quantum programming.[2] Cockett is a member of the organizing committee for the Foundational Methods in Computer Science (FMCS) conference,[2] an annual workshop for researchers in theoretical computer science and category theory supported by the Pacific Institute for the Mathematical Sciences (PIMS).[6]

Selected publications

His most cited publications include:

Personal life

Cockett has been married to fellow University of Calgary professor Polly Knowlton Cockett since 1984,[12] they have three children together: Audrey Lane, Rowan, and Grayson.[13] Cockett is an avid cross-country skier, taking part in the Canadian Birkebeiner on more than one occasion,[14] [15] as well as volunteering as an instructor.[13]

Cockett and his wife have volunteered for numerous environmentally-focused initiatives, including as lecturers for the Calgary Parks Biodiversity Conservation program at Nose Hill Park,[13] and with the Alberta Wilderness Association,[13] where his family's work earned them an award from the city of Calgary.[13]

Notes and References

  1. Web site: Index entry. 24 September 2023. FreeBMD. ONS.
  2. Web site: ROBIN COCKETT . University of Calgary . 24 September 2023.
  3. Web site: James Robin Bernard Cockett . Mathematics Genealogy Project . 24 September 2023.
  4. News: 55 UT Faculty Members Win Tennessee Tomorrow Grants . The Knoxville News-Sentinel . February 18, 1983 . A5.
  5. L.E. Parker . A Robot Navigation Algorithm for Moving Obstacles. . Master's Thesis . 1988 . 2 . University of Tennessee.
  6. Web site: Foundational Methods in Computer Science . Pacific Institute for the Mathematical Sciences . 24 September 2023.
  7. J.R.B. Cockett . R.A.G. Seely . Weakly distributive categories . Journal of Pure and Applied Algebra . January 13, 1997 . 114 . 2 . 133–173 . 10.1017/CBO9780511525902.004.
  8. J.R.B. Cockett . Stephen Lack . Restriction categories I: categories of partial maps . Theoretical Computer Science . January 6, 2002 . 270 . 1–2 . 223–259 . 10.1016/S0304-3975(00)00382-0. math/0610500 . 12444870 .
  9. R.F. Blute . J.R.B. Cockett . R.A.G. Seely . Differential categories . Mathematical Structures in Computer Science . November 1, 2006 . 16 . 6 . 1049–1083 . 10.1017/S0960129506005676. 11818257 .
  10. R.F. Blute . J.R.B. Cockett . R.A.G. Seely . Cartesian differential categories . Theory and Applications of Categories . December 10, 2009 . 22 . 23 . 622–672 .
  11. J.R.B. Cockett . G.S.H. Cruttwell . Differential structure, tangent structure, and SDG . Applied Categorical Structures . May 7, 2013 . 22 . 2 . 341–417 . 10.1007/s10485-013-9312-0. 254230142 .
  12. News: ENGAGEMENTS . The Boston Globe . March 25, 1984 . 84.
  13. News: 15th ANNUAL LEADERSHIP AWARDS . Calgary Herald . April 21, 2011 . N5.
  14. News: CROSS-COUNTRY SKIING . Edmonton Journal . February 19, 2004 . D5.
  15. News: LOCAL CROSS-COUNTRY SKIING . Edmonton Journal . February 16, 2007 . C7.