stringtranslate.com

Robin Cockett

James Robin Bernard Cockett (born May 4, 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:

Personal life

Cockett has been married to fellow University of Calgary professor Polly Knowlton Cockett since 1984,[13] they have three children together: Audrey Lane, 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. ^ a b Robin Cockett publications indexed by Google Scholar
  3. ^ a b c "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. ^ a b c d e "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.