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.
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]
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]
His most cited publications include:
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]