Robin Cockett
Born (1952-05-06) May 6, 1952
Surrey, United Kingdom
Alma materUniversity of Warwick (BSc, 1974)
University of Leeds (PhD, 1979)
Scientific career
FieldsCategory theory
Quantum programming
InstitutionsUniversity of Calgary
University of Tennessee
ThesisInjectives and Localizations in Category Theory (1979)
Doctoral advisorAlfred Goldie

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

Education

Cockett received his Bachelor of Science from the University of Warwick in 1974,[3] 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.[4]

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.[5][6]

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

Selected publications

His most cited publications[2] include:

  • Weakly distributive categories[8]
  • Restriction categories I: categories of partial maps[9]
  • Differential categories[10]
  • Cartesian differential categories[11]
  • Differential structure, tangent structure, and SDG[12]

Personal life

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

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,[14] and with the Alberta Wilderness Association,[14] where his family's work earned them an award from the city of Calgary.[14]

References

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