Cole Comfort
Interests
I am a DPhil student interested in monoidal categories as a semantics for quantum computing. I am particularily interested in proving completeness results for various fragments of quantum computing.
Biography
Office: Computer Science Department, Room 251
my (dot) name (at) new (dot) ox (dot) ac (dot) uk
Preprints:
Circuit Relations for Real Stabilizers: Towards TOF+H. Cole Comfort. 2019.
Dagger linear logic for categorical quantum mechanics. Robin Cockett‚ Cole Comfort and Priyaa Srinivasan. 2018.
Conference Papers:
The Category TOF. Robin Cockett and Cole Comfort. In Electronic Proceedings in Theoretical Computer Science. Vol. 287 (QPL 2018). Pages 67–84. Open Publishing Association. January, 2019.
The Category CNOT. Robin Cockett‚ Cole Comfort and Priyaa Srinivasan. In Electronic Proceedings in Theoretical Computer Science. Vol. 266 (QPL 2017). Pages 258–293. Open Publishing Association. February, 2018.
Conference Presentations:
FMCS 2019 (Kananaskis, Canada): Circuit Relations for Real Stabilizers: Towards TOF+H.
SYCO 4 (Orange, United States): Circuit Relations for Real Stabilizers: Towards TOF+H
QPL 2018 (Halifax, Canada): The Category TOF.
FMCS 2018 (Sackville, Canada): The Category TOF.
QPL 2017 (Nijmegen, Netherlands): The Category CNOT.
FMCS 2017 (Ottawa, Canada): The Category CNOT.
CAIMS 2017 (Calgary Canada): The Category CNOT.
Research Visits:
University of Edinburgh and the University of Oxford, Fall 2018; visiting Drs. Chris Heunen and Bob Coecke respectively.
Education:
DPhil in Computer Science (2019-ongoing)
Institution: University of Oxford
Supervisor: Bob Coecke
MSc in Computer Science (2017-2019)
Institution: University of Calgary
Thesis: Classifying reversible logic gates with ancillary bits
Supervisor: Robin Cockett
BSc in Computer Science (2013-2017)
Institution: University of Calgary
Teaching:
University of Calgary, Department of Computer Science:
Winter 2019: Teaching assistant for CPSC 313 "Introduction to Computability"x2
Winter 2018: Teaching assistant for CPSC 411 "Compiler Construction"
Fall 2017: Teaching assistant for CPSC 521 "Foundations of Functional Programming"
Selected Publications
-
The Category TOF
J.R.B. Cockett and Cole Comfort
In Electronic Proceedings in Theoretical Computer Science. Vol. 287. Pages 67–84. Open Publishing Association. January, 2019.
Details about The Category TOF | BibTeX data for The Category TOF | DOI (10.4204/eptcs.287.4) | Link to The Category TOF
-
Classifying reversible logic gates with ancillary bits
Cole Comfort
Master's Thesis University of Calgary. Canada. 2019.
Details about Classifying reversible logic gates with ancillary bits | BibTeX data for Classifying reversible logic gates with ancillary bits | Link to Classifying reversible logic gates with ancillary bits
-
Circuit Relations for Real Stabilizers: Towards TOF+H
Cole Comfort
2019.
Details about Circuit Relations for Real Stabilizers: Towards TOF+H | BibTeX data for Circuit Relations for Real Stabilizers: Towards TOF+H